conftrace_

loop invariant synthesis

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

contrastive ranker (1) synthesizing inductive loop invariant (1) neural network (1) large language model (1) contrastive ranking (1) zero-shot setting (1) loop invariant (1) search strategy (1) automated theorem proving (1) program verification (1)

Papers

Ranking LLM-Generated Loop Invariants for Program Verification EMNLP 2023 Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis NeurIPS 2022