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