{"total":34,"rows":[{"id":"2310.17807","title":"Clover: Closed-Loop Verifiable Code Generation","created":"2023-10-26","cited_by_count":67,"area":null},{"id":"2409.13082","title":"AutoVerus: Automated Proof Generation for Rust Code","created":"2024-09-19","cited_by_count":49,"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":"2504.05408","title":"Frontier AI's Impact on the Cybersecurity Landscape","created":"2025-04-07","cited_by_count":21,"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":"2510.21302","title":"Towards Reliable Code-as-Policies: A Neuro-Symbolic Framework for Embodied Task Planning","created":"2025-10-24","cited_by_count":11,"area":null},{"id":"2403.03997","title":"Guiding Enumerative Program Synthesis with Large Language Models","created":"2024-03-06","cited_by_count":9,"area":null},{"id":"2510.25015","title":"VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus","created":"2025-10-28","cited_by_count":9,"area":null},{"id":"2408.10268","title":"Generating Streamlining Constraints with Large Language Models","created":"2024-08-16","cited_by_count":7,"area":null},{"id":"2503.10784","title":"Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview","created":"2025-03-13","cited_by_count":7,"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":"2404.09384","title":"Generative transformations and patterns in LLM-native approaches for software verification and falsification","created":"2024-04-14","cited_by_count":2,"area":null},{"id":"2511.14435","title":"Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems","created":"2025-11-18","cited_by_count":2,"area":null},{"id":"2602.04892","title":"Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction","created":"2026-01-30","cited_by_count":2,"area":null},{"id":"2506.10998","title":"Towards Automated Formal Verification of Backend Systems with LLMs","created":"2025-04-13","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":"2512.02080","title":"The 4/$\\delta$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee","created":"2025-11-30","cited_by_count":1,"area":null},{"id":"2602.13851","title":"Evaluating LLM-Generated ACSL Annotations for Formal Verification","created":"2026-02-14","cited_by_count":1,"area":null},{"id":"2605.17246","title":"Fidelity Probes for Specification--Code Alignment","created":"2026-05-17","cited_by_count":1,"area":null},{"id":"2501.05252","title":"From Scientific Texts to Verifiable Code: Automating the Process with Transformers","created":"2025-01-09","cited_by_count":0,"area":null},{"id":"2507.05272","title":"LLMs and Fuzzing in Tandem: A New Approach to Automatically Generating Weakest Preconditions","created":"2025-07-03","cited_by_count":0,"area":null},{"id":"2508.00422","title":"Automated Type Annotation in Python Using Large Language Models","created":"2025-08-01","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":"2605.06184","title":"Teaching LLMs Program Semantics via Symbolic Execution Traces","created":"2026-05-07","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":"2605.14972","title":"Viverra: Text-to-Code with Guarantees","created":"2026-05-14","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},{"id":"2607.12723","title":"Bulkhead: Automated Semantic Detection and Remediation of Container Escape Vulnerabilities","created":"2026-07-14","cited_by_count":0,"area":null},{"id":"2608.00965","title":"An AI Approach to Verified Production Cryptographic Libraries","created":"2026-08-02","cited_by_count":0,"area":null},{"id":"2608.12325","title":"Position: Reasoning is a Learnable Rule-Based Process","created":"2026-05-29","cited_by_count":0,"area":null},{"id":"2609.34460","title":"When Does Structured Knowledge Help Neural Theorem Proving?","created":"2026-09-28","cited_by_count":0,"area":null}],"next_cursor":null}