Kimi技術團隊發布了Kimina-Prover的預覽版,開源了多個模型和數據集,展現出在形式化定理證明領域的出色性能。
Kimina-Prover通過結合大規模強化學習與形式化推理,顯著提升了模型的推理能力和樣本效率,達到了80.7%的通過率,超越了以往最佳結果。
Kimina-Prover在miniF2F基準測試中達到了80.7%的通過率,超越了之前的最佳結果。
該模型結合了大規模強化學習與形式化推理,顯著提升了推理能力和樣本效率。
Kimina-Prover的可解釋性強,用戶可以查看推導過程,為理解模型行為提供便利。


產品與服務
聯系站長
關于我們