关闭导航

包含标签"形式的定理証明"的内容

Kimina-Prover数学定理证明模型开源 性能超现有最佳达80.7%
AI妹 1 个月前 9 0

Kimi技術チームは先日、Kimina-Proverプレビュー版の技術レポートを発表し、1.5Bと7Bパラメーターのモデル蒸留版、データ生成用のKimina-Autoformalizer-7Bモデ