Unverified50% confidenceFactExact time
SymCE 语料库包含 4,707 条本科水平的代数与实分析领域的错误猜想，每条都配有可执行的验证器
1
Sources
50%
Confidence
Long-term
Relevance
10/5/2026
First Seen
Sources
Related Entities
Related Claims
Unverified多路推理验证的核心思路是让正确答案能够通过多条推理路径被推导出来，而错误答案往往是偶发性的，可通过多次采样筛除63% similarUnverifiedSymCE 论文将反例生成任务重新建模为'面向确定性验证器的约束见证发射'，模型需针对每个错误命题产出能被 Python 验证器判定为有效的反例62% similarUnverified该论文最主要的技术贡献是推导出了测试误差的确定性等价表达式62% similarUnverified研究团队在四个训练好的DeBERTa检查点、共7,890条声明上做了对照实验62% similarUnverified评估前必须验证测试框架对声称评过的每一行都真正打了分，否则默默吞错的脚本会给出排除了最难边缘case的虚假100%通过率61% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/975469API
curl https://kongchang.com/api/v1/knowledge/claims/975469MCP
get_claim(id=975469)