待验证50% 置信事实精确时间
SemantEq的设计将等价证明的生成与接受分开，使得更强的证明器可以提高召回率而不改变接受的含义。
1
来源数
50%
置信度
长期有效
时效性
2026/10/26
首次发现
来源
涉及实体
相关事实
待验证分级验证器将评判结果展开成多个子分数，使奖励信号更稠密，更容易定位错误来源，在强化学习优化中更具优势。69% 相似待验证SemantEq通过检查证明项（proof term）而非策略脚本（tactic script）来判断等价性，以避免策略风格差异带来的偏差。69% 相似待验证SemantEq-Eval是一个无需模型的搜索方法，在ProofNetVerif测试集上达到100%的精确率和65.6%的召回率（基于人工裁决标签）。66% 相似待验证在证据层面做有损但可控的编译，反而能提升最终答案的准确性。66% 相似待验证投机解码中，块长度k应与有效分支因子匹配，k过大会放大失配代价。66% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1098300API
curl https://kongchang.com/api/v1/knowledge/claims/1098300MCP
get_claim(id=1098300)