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