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

在四种形式语言上，claimcheck相比单次调用取得了8.2到9.8个百分点的宏观召回率提升。

1

来源数

50%

置信度

长期有效

时效性

2026/10/14

首次发现

来源

claimcheck：让LLM写形式化规约不再"跑偏"

涉及实体

claimcheckconcept

相关事实

待验证投机解码的草稿接收率每提升10%，整体吞吐量可提升15%-25%68% 相似待验证重写一个提示词中的某条标准会导致同一提示词里其他标准的通过率波动5-10个百分点67% 相似待验证消融分析显示片段范式微调在测试集带来+5.29分提升，而用2000检索词替换前4500转录词仅带来+1.55分提升65% 相似待验证在歧义点的四类行为中，'先搜再问'成功率最高，平均通过率达93.4%，远高于'直接猜'的56.5%，'搜多次再猜'为51.5%65% 相似待验证在确实包含数据集引用的段落中，精确率提升到89.5%64% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1023860

API

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

MCP

get_claim(id=1023860)