{"total":20,"rows":[{"id":"2505.23135","title":"VERINA: Benchmarking Verifiable Code Generation","created":"2025-05-29","cited_by_count":34,"area":null},{"id":"2505.13938","title":"CLEVER: A Curated Benchmark for Formally Verified Code Generation","created":"2025-05-20","cited_by_count":29,"area":null},{"id":"2602.09464","title":"AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms","created":"2026-02-10","cited_by_count":12,"area":null},{"id":"2504.20964","title":"OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification","created":"2025-04-29","cited_by_count":8,"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":"2503.14183","title":"Can LLMs Enable Verification in Mainstream Programming?","created":"2025-03-18","cited_by_count":3,"area":null},{"id":"2502.07644","title":"SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models","created":"2025-02-11","cited_by_count":2,"area":null},{"id":"2509.23130","title":"SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems","created":"2025-09-27","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":"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.16584","title":"Certified Program Synthesis with a Multi-Modal Verifier","created":"2026-04-17","cited_by_count":2,"area":null},{"id":"2607.04631","title":"Formal Disco: Scalable Open-Ended Generation of Formally Verified Programs","created":"2026-07-06","cited_by_count":1,"area":null},{"id":"2609.27105","title":"Provably Complete Generalized Planning with LLMs","created":"2026-09-22","cited_by_count":1,"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.14972","title":"Viverra: Text-to-Code with Guarantees","created":"2026-05-14","cited_by_count":0,"area":null},{"id":"2606.20969","title":"AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis","created":"2026-06-18","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":"2608.13681","title":"Fine-Tuning Qwen3-27B for C-to-Rust Code Translation: A Three-Stage Curriculum of Pretraining, Debugging-Aware SFT, and Task-Specific SFT","created":"2026-08-13","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.34886","title":"Fewer Assumptions by Design: A Reusable Skill for LLM-Assisted Verus Verification","created":"2026-09-28","cited_by_count":0,"area":null}],"next_cursor":null}