MoE

LongCat-Flash-Prover：美团LongCat团队开源的千亿级定理证明与形式化推理方案

LongCat-Flash-Prover是美团LongCat团队开源的混合专家（MoE）模型仓库，核心聚焦Lean4编程语言中的原生形式化推理任务，基于56000亿参数的大规模MoE模型与工具集成推理（T...