{"total":31,"rows":[{"id":"2505.23135","title":"VERINA: Benchmarking Verifiable Code Generation","created":"2025-05-29","cited_by_count":34,"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":"2406.09757","title":"Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages","created":"2024-06-14","cited_by_count":16,"area":null},{"id":"2502.18917","title":"ClassInvGen: Class Invariant Synthesis using Large Language Models","created":"2025-02-26","cited_by_count":11,"area":null},{"id":"2410.19940","title":"Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification","created":"2024-10-25","cited_by_count":9,"area":null},{"id":"2507.13290","title":"Towards Formal Verification of LLM-Generated Code from Natural Language Prompts","created":"2025-07-17","cited_by_count":8,"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":"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":"2507.21285","title":"Curiosity by Design: An LLM-based Coding Assistant Asking Clarification Questions","created":"2025-07-28","cited_by_count":4,"area":null},{"id":"2604.12268","title":"CodeSpecBench: Benchmarking LLMs for Executable Behavioral Specification Generation","created":"2026-04-14","cited_by_count":4,"area":null},{"id":"2605.23109","title":"Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems","created":"2026-05-22","cited_by_count":4,"area":null},{"id":"2503.14183","title":"Can LLMs Enable Verification in Mainstream Programming?","created":"2025-03-18","cited_by_count":3,"area":null},{"id":"2504.07483","title":"Program Skeletons for Automated Program Translation","created":"2025-04-10","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":"2506.18315","title":"Effective LLM Code Refinement via Property-Oriented and Structurally Minimal Feedback","created":"2025-06-23","cited_by_count":2,"area":null},{"id":"2509.25043","title":"Large Language Models for Software Testing: A Research Roadmap","created":"2025-09-29","cited_by_count":2,"area":null},{"id":"2602.20610","title":"SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference","created":"2026-02-24","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":"2604.10392","title":"Intent-aligned Formal Specification Synthesis via Traceable Refinement","created":"2026-04-12","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":"2503.01675","title":"Using (Not-so) Large Language Models to Generate Simulation Models in a Formal DSL: A Study on Reaction Networks","created":"2025-03-03","cited_by_count":1,"area":null},{"id":"2507.17777","title":"ASP-Assisted Symbolic Regression: Uncovering Hidden Physics in Fluid Mechanics","created":"2025-07-22","cited_by_count":1,"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":"2605.11315","title":"Natural Language based Specification and Verification","created":"2026-05-11","cited_by_count":0,"area":null},{"id":"2606.26490","title":"An Empirical Study of LLM-Generated Specifications for VeriFast","created":"2026-06-25","cited_by_count":0,"area":null},{"id":"2607.05032","title":"Multi-Large Language Model Orchestrated Severity Assessment of Clinical Records (MOSAIC)","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":"2608.23842","title":"Automated Synthesis of Cloud Emulators","created":"2026-08-24","cited_by_count":0,"area":null},{"id":"2609.06052","title":"SkillSpec: Intent-Masked Specification Reasoning for Agent Skill Correctness","created":"2026-09-05","cited_by_count":0,"area":null},{"id":"2609.31687","title":"Verification of PETSc with CIVL using LLM-generated ACSL contracts and deterministic driver generation","created":"2026-09-16","cited_by_count":0,"area":null},{"id":"2610.17358","title":"claimcheck: Measuring and Improving Specification Faithfulness","created":"2026-10-12","cited_by_count":0,"area":null}],"next_cursor":null}