Skip to content
conftrace_

loop invariant

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

program verification (2) reinforcement learning (2) weakest pre-expectation (1) invariant synthesis (1) piecewise continuous function (1) graph neural network (1) neural network (1) loop invariant synthesis (1) automated theorem prover (1) search strategy (1)

Papers

Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract) IJCAI 2023 Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis NeurIPS 2022 CLN2INV: Learning Loop Invariants with Continuous Logic Networks ICLR 2020 Learning Loop Invariants for Program Verification NeurIPS 2018