Self-Spec Verifiable Code Generation
cs.SE, cs.AI
Submitted: 2026-09-30
Updated: 2026-09-30
Code: https://github.com/JiaruQian/VeriCodeBench
Sources
- AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement
- ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
- MINIF2F-DAFNY: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification
- A Survey on Code Generation with LLM-based Agents
- WybeCoder: Verified Imperative Code Generation
- PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
- AutoSafeCoder: A Multi-Agent Framework for Securing LLM Code Generation through Static Analysis and Fuzz Testing
- AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms
- MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics
Related papers
- Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
- GitSkills: A Dataset of Agent Skills on GitHub
- SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
- PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
- IntentCoding: Amplifying User Intent in Code Generation
- Incentives and Outcomes in Bug Bounties