Finding Inductive Loop Invariants using Large Language Models

Finding Inductive Loop Invariants using Large Language Models

14 November 2023

Aditya Senthilnathan

Saikat Chakraborty

Pantazis Deligiannis

Shuvendu K. Lahiri

Papers citing "Finding Inductive Loop Invariants using Large Language Models"

12 / 12 papers shown

Title
Frontier AI's Impact on the Cybersecurity Landscape Wenbo Guo Yujin Potter Tianneng Shi Zhun Wang Andy Zhang Dawn Song 52 2 0 07 Apr 2025
Can LLMs Enable Verification in Mainstream Programming? Aleksandr Shefer Igor Engel Stanislav Alekseev Daniil Berezun Ekaterina Verbitskaia Anton Podkopaev 58 0 0 18 Mar 2025
RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation Sicheng Zhong Jiading Zhu Yifang Tian Xujie Si 52 0 0 07 Feb 2025
Next Steps in LLM-Supported Java Verification Samuel Teuber Bernhard Beckert 51 0 0 03 Feb 2025
Automated Proof Generation for Rust Code via Self-Evolution Tianyu Chen Shuai Lu Shan Lu Y. Gong Chenyuan Yang ... Peng Cheng Fan Yang Shuvendu Lahiri Tao Xie Lidong Zhou 44 7 0 21 Oct 2024
Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods George Granberry Wolfgang Ahrendt Moa Johansson 39 2 0 21 Jun 2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving Xiaohan Lin Qingxing Cao Yinya Huang Haiming Wang Jianqiao Lu Zhengying Liu Linqi Song Xiaodan Liang LRM 36 4 0 20 Jun 2024
Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages Shuvendu K. Lahiri 23 3 0 14 Jun 2024
Code Repair with LLMs gives an Exploration-Exploitation Tradeoff Hao Tang Keya Hu Jin Peng Zhou Sicheng Zhong Wei-Long Zheng Xujie Si Kevin Ellis 39 13 0 26 May 2024
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming Saikat Chakraborty Gabriel Ebner Siddharth Bhat Sarah Fakhoury Sakina Fatima Shuvendu K. Lahiri Nikhil Swamy 40 15 0 03 May 2024
A Survey on Deep Learning for Theorem Proving Zhaoyu Li Jialiang Sun Logan Murphy Qidong Su Zenan Li Xian Zhang Kaiyu Yang Xujie Si LRM 47 21 0 15 Apr 2024
Guiding Enumerative Program Synthesis with Large Language Models Yixuan Li Julian Parsert Elizabeth Polgreen ELM 41 6 0 06 Mar 2024