When Correctness Feedback Erases Evidence: Phase-Separated Completeness Auditing in Verus
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 intended behavior. We demonstrate this objective reversal on 12 Verus/Rust tasks across four model families under matched call budgets. Independent no-feedback discovery more than…
Read original article on cs.AI updates on arXiv.org →More in Research