SWE-Proof: Can Language Models Resolve Real-World Issues with Machine-Checked Proofs?

George Ma, Benjamin Mikek, Haoyu Li +9

Ensuring the correctness of LLM-generated code is a core challenge for modern software engineering. Benchmarks for agentic code generation check correctness with held-out test suit…