Search papers, labs, and topics across Lattice.
Affiliation:
2
0
3
2
A contract-aware proof-repair tool can restore verification integrity in complex theorem proving, but challenges in operational end-to-end verification remain.
CAPRI reveals that a contract-aware approach can drastically improve the integrity of LLM-generated proofs, achieving up to 81% valid repairs without violating edit contracts.
