Correctness feedback suppresses evidence of specification-completeness auditing in Verus; independent no-feedback discovery doubles certified-witness yield across 12 Verus/Rust tasks.
Read the original at arxiv.org→arXiv:2610.20676v1 Announce Type: new Abstract: Correctness feedback suppresses the very evidence that specification-completeness auditing is designed to uncover: programs that satisfy a written contract but violate...
Original headline: "When Correctness Feedback Erases Evidence: Phase-Separated Completeness Auditing in Verus"
Coverage timeline
- Oct 16, 04:00 UTC arXiv cs.AI lead source When Correctness Feedback Erases Evidence: Phase-Separated Completeness Auditing in Verus