When Correctness Feedback Erases Evidence: Phase-Separated Completeness Auditing in Verus

arXiv:2610.20676 · cs.AI · Submitted 2026-10-14 · Read on arXiv

cs.AI

Submitted: 2026-10-14

Updated: 2026-10-14

Comments: Paper accepted at the NeurIPS 2026 Workshop on AI for Verifiable Coding

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Related papers