Tag: Theorem-Proving
All the articles with the tag "Theorem-Proving".
- 7.0
美团开源 LongCat-Flash-Prover:560B 参数刷新形式化推理 SOTA
美团龙猫团队开源 560B MoE 定理证明模型,MiniF2F-Test 仅 72 次推理达 97.1%,自动形式化和定理证明双 SOTA
All the articles with the tag "Theorem-Proving".
美团龙猫团队开源 560B MoE 定理证明模型,MiniF2F-Test 仅 72 次推理达 97.1%,自动形式化和定理证明双 SOTA