Papers by Aditya Senthilnathan
Ranking LLM-Generated Loop Invariants for Program Verification (2023.findings-emnlp)
Copied to clipboard
Saikat Chakraborty, Shuvendu Lahiri, Sarah Fakhoury, Akash Lal, Madanlal Musuvathi, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy
| Challenge: | Large Language Models (LLMs) are capable of synthesizing inductive loop invariants for a class of programs in a 0-shot setting, yet require several samples to generate the correct invariant. |
| Approach: | They propose a re-ranking approach to generate inductive loop invariants using Large Language Models . they propose reranking rankers that can distinguish between correct and incorrect attempts . |
| Outcome: | The proposed method reduces the number of calls to a verifier by comparing the generated results with the original model. |