待验证50% 置信基准精确时间
在三个带标注的数据集上,该方法的接受错误率在所有评估方法中最低。
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/10/15
首次发现
有效期至:2027/1/13
来源
超越LLM Judge:机械验证如何提升Agent自动形式化可靠性
rss2026/10/14
涉及实体
相关事实
引用此条事实
Stable URI
https://kongchang.com/claim/1037932API
curl https://kongchang.com/api/v1/knowledge/claims/1037932MCP
get_claim(id=1037932)