AI-MO/Kimina-Prover-Distill-1.7B — это модель доказательства теорем, разработанная командами Project Numina и Kimi с упором на возможности решения проблем в соревновательном стиле в Lean 4. Это усовершенствованная версия Kimina-Prover-72B, модели, обученной с помощью крупномасштабного обучения с подкреплением. Он достигает точности 72,95% при Pass@32 в тесте MiniF2F. Примеры расширенного использования см. на странице https://github.com/MoonshotAI/Kimina-Prover-Preview/tree/master/kiminaproverdemo.
Модальности:
Генерация текста
Области применения:
Диалог / чат
Задача: Генерация текста
Автор: AI-MO
Теги: qwen3, chat, conversational, en, text-generation-inference, endpoints_compatible
Лайков: 7 | Загрузок: 721
Описание основано на материалах HuggingFace. Перевод выполнен автоматически.
