待验证50% 置信基准精确时间
在 MathlibQR 基准上，LeanGraphSearch 相对最强基线 LeanSearch v2 的召回率最高提升 12%。
1
来源数
50%
置信度
长期有效
时效性
2026/10/16
首次发现
来源
涉及实体
相关事实
待验证在FEVER基准上，8B规模骨干模型搭配R2VC架构后准确率比基线提升了13.74%58% 相似待验证DeepSeek的编程智能体DeepSWE在SWE-bench基准测试中从预览版的12.8分提升至62.7分56% 相似待验证vLLM v0.3.1针对DeepSeek系列模型进行了深度优化，低并发场景下推理加速1.9倍，高并发场景下吞吐量提升5.3倍55% 相似待验证DeepSeek Math V2 支持使用 Lean、Coq 等证明助手语言的形式化定理证明55% 相似待验证DeepSeek Coder以DeepSeek Math为底层基础，DeepSeek Math在MATH、GSM8K等数学基准上表现优异53% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1042030API
curl https://kongchang.com/api/v1/knowledge/claims/1042030MCP
get_claim(id=1042030)