10:37
官方账号arXiv cs.AI@Xingyang Yu
推荐理由：用验证器帮语言模型修量子场论对偶声明，效果不错，deepseek-chat提升8个百分点，qwen-plus提升7个百分点，值得关注。
符号验证
共 1 条相关 AI 资讯
7月28日
10:37
DualityCert是一个符号验证器，用于评估四维N=1 quiver规范理论中候选Seiberg对偶声明的't Hooft异常匹配、超势R-荷一致性、中心荷匹配和有界手性环代理。在145个破损声明的预注册基准上，验证器门控重试将deepseek-chat的最终修复成功率提高了8.3个百分点（pp），将qwen-plus提高了7.1 pp（Holm调整p<0.002）。在11次尝试的等预算下，deepseek-chat上停-先策略组合比独立验证器过滤重采样低10.3 pp，而qwen-plus上则高14.7 pp，两种验证器利用策略在两个确认模型上顺序反转。类别级验证器反馈在qwen-plus上比无内容重试高8.7 pp，可解释义务标识比结构相同的掩码反馈高6.4 pp，而deepseek-chat上未检测到任一效果。