Tag: Lean4

All the articles with the tag "Lean4".

• 7.0

  美团开源 LongCat-Flash-Prover：560B 参数刷新形式化推理 SOTA

  2026年03月22日

  · 美团龙猫· 03/22 14:45 采集

  美团龙猫团队开源 560B MoE 定理证明模型，MiniF2F-Test 仅 72 次推理达 97.1%，自动形式化和定理证明双 SOTA