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