{"total":20,"rows":[{"id":"2204.05999","title":"InCoder: A Generative Model for Code Infilling and Synthesis","created":"2022-04-12","cited_by_count":498,"area":null},{"id":"2310.01831","title":"Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?","created":"2023-10-03","cited_by_count":57,"area":null},{"id":"2311.07948","title":"Finding Inductive Loop Invariants using Large Language Models","created":"2023-11-14","cited_by_count":36,"area":null},{"id":"2310.09342","title":"Ranking LLM-Generated Loop Invariants for Program Verification","created":"2023-10-13","cited_by_count":33,"area":null},{"id":"2106.07162","title":"Goal-Aware Neural SAT Solver","created":"2021-06-14","cited_by_count":28,"area":null},{"id":"2406.14408","title":"FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving","created":"2024-06-20","cited_by_count":22,"area":null},{"id":"2102.03824","title":"Neural Termination Analysis","created":"2021-02-07","cited_by_count":16,"area":null},{"id":"2105.11363","title":"Learning Security Classifiers with Verified Global Robustness Properties","created":"2021-05-24","cited_by_count":14,"area":null},{"id":"2311.03739","title":"Leveraging Large Language Models for Automated Proof Synthesis in Rust","created":"2023-11-07","cited_by_count":11,"area":null},{"id":"2412.10483","title":"Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models","created":"2024-12-13","cited_by_count":7,"area":null},{"id":"2510.12702","title":"Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?","created":"2025-10-14","cited_by_count":6,"area":null},{"id":"2205.14229","title":"Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis","created":"2022-05-27","cited_by_count":5,"area":null},{"id":"2509.21629","title":"Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis","created":"2025-09-25","cited_by_count":4,"area":null},{"id":"2401.12131","title":"NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis","created":"2024-01-22","cited_by_count":3,"area":null},{"id":"2103.09414","title":"Toward Neural-Network-Guided Program Synthesis and Verification","created":"2021-03-17","cited_by_count":2,"area":null},{"id":"2205.14943","title":"Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes","created":"2022-05-30","cited_by_count":1,"area":null},{"id":"2107.09766","title":"Learning Heuristics for Template-based CEGIS of Loop Invariants with Reinforcement Learning","created":"2021-07-16","cited_by_count":0,"area":null},{"id":"2312.10842","title":"Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems","created":"2023-12-17","cited_by_count":0,"area":null},{"id":"2512.07501","title":"AutoICE: Automatically Synthesizing Verifiable C Code via LLM-driven Evolution","created":"2025-12-08","cited_by_count":0,"area":null},{"id":"2607.05479","title":"Privilege and confidentiality in generative AI workflows","created":"2026-07-06","cited_by_count":0,"area":null}],"next_cursor":null}