关闭导航

包含标签"修订版miniF2F数据集"的内容

Kimina-Prover数学定理证明模型性能领先 团队开源系列模型及数据集
AI妹 1 个月前 12 0

The Kimi technical team recently released a technical report on the preview version of Kimina-Prov