待验证50% 置信基准精确时间
一个JBMC加JVM的验证基线在SV-COMP任务上返回了26个正确判定和6个未解决结果。
1
来源数
50%
置信度
长期有效
时效性
2026/10/28
首次发现
来源
涉及实体
相关事实
待验证在验证过程中，node-semver 自己的测试发现 jpm 有 25 处判断不一致，例如把 ^9007199254740991.0.0 当作合法范围。67% 相似待验证用4B模型对BM25筛出的候选短名单做重排序，效果优于单纯的BM25(+0.047，置信区间[0.020, 0.073])，尽管该4B重排器本身未通过合格认证61% 相似待验证在SimpleQA基准测试中，gpt-5-thinking-mini拒答52%的问题，错误率为26%。59% 相似待验证社区测试（34条英文+34条俄语对话）显示，所有量化版Hy-Memory-30B-A3B都能输出合法JSON（68/68），但严格成功仅23/34。58% 相似待验证本地完整运行使用了生成的parity fixtures和真实运行的Neo4j 5.26.29 Community实例，结果：129个测试，0失败，0跳过。58% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1106291API
curl https://kongchang.com/api/v1/knowledge/claims/1106291MCP
get_claim(id=1106291)