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