InternLM-Step-Prover — это языковая модель 7B, обученная на Lean-Github и нескольких наборах синтетических данных. InternLM-Step-Prover демонстрирует самые современные результаты в математических тестах MiniF2F, ProofNet и Putnam, демонстрируя свою способность формального математического доказательства в различных областях.
Модальности:
Генерация текста
Области применения:
Математика Диалог / чат
Задача: Генерация текста
Автор: internlm
Теги: internlm2, feature-extraction, math, conversational, custom_code, en
Лайков: 23 | Загрузок: 50
Описание основано на материалах HuggingFace. Перевод выполнен автоматически.
