Verification Trap: Understanding Test-Time Selection Failures under False Premises in Code Generation

Feng He, Hejia Wang, Linghao Meng +2

Test-time compute has become a central way to improve code generation: systems sample multiple candidate programs and use verifier-visible evidence to select the final output. This…