arXiv·· 13 天前AI 评分31
验证陷阱：代码生成中错误前提下的测试时选择失败
Verification Trap: Understanding Test-Time Selection Failures under False Premises in Code Generation
AI 导读
研究揭示代码生成的测试时选择存在"验证陷阱"：当生成器与验证器共享同一错误前提时，二者会因错误信念耦合——生成器产出符合前提的捷径程序，验证器提供的证据又无法暴露这些捷径，导致选择器失效。该工作挑战了验证器能提供独立纠错信号的隐含假设。
来源：arXiv · arxiv.org