{"total":24,"rows":[{"id":"2311.07948","title":"Finding Inductive Loop Invariants using Large Language Models","created":"2023-11-14","cited_by_count":36,"area":null},{"id":"2410.15756","title":"Automated Proof Generation for Rust Code via Self-Evolution","created":"2024-10-21","cited_by_count":33,"area":null},{"id":"2402.10754","title":"LLMDFA: Analyzing Dataflow in Code with Large Language Models","created":"2024-02-16","cited_by_count":22,"area":null},{"id":"2405.01787","title":"Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming","created":"2024-05-03","cited_by_count":20,"area":null},{"id":"2405.16792","title":"Laurel: Unblocking Automated Verification with Large Language Models","created":"2024-05-27","cited_by_count":11,"area":null},{"id":"2502.18474","title":"A Contemporary Survey of Large Language Model Assisted Program Analysis","created":"2025-02-05","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":"2502.15441","title":"On the Effectiveness of Large Language Models in Writing Alloy Formulas","created":"2025-02-21","cited_by_count":7,"area":null},{"id":"2504.15284","title":"EditLord: Learning Code Transformation Rules for Code Editing","created":"2025-03-10","cited_by_count":4,"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":"2511.00125","title":"Inferring multiple helper Dafny assertions with LLMs","created":"2025-10-31","cited_by_count":4,"area":null},{"id":"2502.01573","title":"Next Steps in LLM-Supported Java Verification","created":"2025-02-03","cited_by_count":3,"area":null},{"id":"2604.03758","title":"AutoReSpec: A Framework for Generating Specification using Large Language Models","created":"2026-04-04","cited_by_count":3,"area":null},{"id":"2406.18616","title":"Towards Large Language Model Aided Program Refinement","created":"2024-06-26","cited_by_count":2,"area":null},{"id":"2604.00280","title":"Spec-Harness: Assessing and Guiding LLM-Synthesized Formal Specifications Beyond Verifiability","created":"2026-03-31","cited_by_count":2,"area":null},{"id":"2410.18494","title":"Assured Automatic Programming via Large Language Models","created":"2024-10-24","cited_by_count":1,"area":null},{"id":"2506.04019","title":"CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking","created":"2025-06-04","cited_by_count":1,"area":null},{"id":"2511.06552","title":"LLM For Loop Invariant Generation and Fixing: How Far Are We?","created":"2025-11-09","cited_by_count":1,"area":null},{"id":"2511.04132","title":"Exploring the Feasibility of End-to-End Large Language Model as a Compiler","created":"2025-11-06","cited_by_count":0,"area":null},{"id":"2603.15510","title":"Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs","created":"2026-03-16","cited_by_count":0,"area":null},{"id":"2604.16560","title":"SpecPylot: Python Specification Generation using Large Language Models","created":"2026-04-17","cited_by_count":0,"area":null},{"id":"2605.11315","title":"Natural Language based Specification and Verification","created":"2026-05-11","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},{"id":"2607.09366","title":"Diversifying to Verify: When Task-Equivalent Programs Differ in Verifiability","created":"2026-07-10","cited_by_count":0,"area":null}],"next_cursor":null}