待验证50% 置信基准精确时间

在最佳提示下，SemantEq-ProofAudit将407个等价语句对的召回率从65.4%提升到81.1%。

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/10/26

首次发现

有效期至：2027/1/24

来源

SemantEq：形式化数学语句的双向等价新方法

涉及实体

SemantEq-ProofAuditmodel

相关事实

待验证在确实包含数据集引用的段落中，精确率提升到89.5%75% 相似待验证BEq+在ProofNetVerif测试集上的精确率为95.8%，召回率为61.8%。72% 相似待验证免审核答案中正确率从97.5%提升到99.8%。72% 相似待验证证据驱动的改进前验证把精度从58.6%提升到72.3%，每轮无支持的目标从1.93个降到0.50个71% 相似待验证在提及级别，模型整体精确率为74.1%，召回率为70.5%70% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1098299

API

curl https://kongchang.com/api/v1/knowledge/claims/1098299

MCP

get_claim(id=1098299)