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