待验证50% 置信基准精确时间
在32个SV-COMP任务上，原始验证器反馈将平均正确模型判定从12.7提升到22.0，但同时将错误判定从1个增加到7个。
1
来源数
50%
置信度
长期有效
时效性
2026/10/28
首次发现
来源
涉及实体
相关事实
待验证在代码修复任务中，使用静态验证器成功率为 26.3%，引入预测性选择后升至 29.2%，经世界模型自适应后达到 31.2%71% 相似待验证在实验中，零样本生成任务解决率为17%，通用自我纠错为27%，仅错误反馈为23%，诊断性反例反馈（A-CEGIS）达到90%69% 相似待验证在无效命题上，使用验证器反馈得到 23/39 个被接受的反例，而无检查器的通用反馈只有 15/39。68% 相似待验证预言机路由器预先知道小模型哪些会错，只将错误请求发给大模型，其准确率与始终用大模型相当，花费仅29%。68% 相似待验证7个通过替代测试的模型变化率为15.9%，而6个未通过的模型高达25.8%，性能更好的模型受干扰程度较低但仍高于提示词修改影响67% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1106290API
curl https://kongchang.com/api/v1/knowledge/claims/1106290MCP
get_claim(id=1106290)