登录

当前标签：形式化推理

美团龙猫开源LongCat-Flash-Prover

美团龙猫开源LongCat-Flash-Prover

美团开源数学定理证明模型 LongCat-Flash-Prover，在 MiniF2F 基准上刷新 SOTA 记录。