加载中…

LongCat-Flash-Prover

Meituan · 中国

美团 Lean4 定理证明模型

公开月份: 2026年3月
领域: 其他
使用方式: 开放权重
参数量(规模): 560B
许可证: mit · 可商用

摘要

Hugging Face 登记 2026年3月20日 · 开放权重 · 560B
用于 Lean4 形式化·证明草图·证明 · MiniF2F-Test 通过率97.1%(每题72次推理,公司公布)

查看官方发布 ↗

← 模型列表