Современные двуязычные программы магистратуры по математике с открытым исходным кодом. Решатель, доказывающий, проверяющий, увеличивающий. — [2024.05.24] Мы выпускаем обновленную версию InternLM2-Math-Plus с 4 размерами и самыми современными характеристиками, включая 1.8B, 7B, 20B и 8x22B. Мы значительно улучшаем производительность неформальных математических рассуждений (цепочка мыслей и интерпретатор кода) и формальных математических рассуждений (перевод LEAN 4 и доказательство теорем LEAN 4). — [2024.02.10] Добавлены технические отчеты и ссылки на цитаты. — [2024.01.31] Добавляем результаты MiniF2F с оценочными кодами! — [2024.01.29] Добавляем чекпоинты из ModelScope. Обновите результаты голосования большинством и интерпретатора кода. Технический отчет уже в пути! — [2024.01.26] Мы добавляем контрольные точки из OpenXLab, которые облегчают загрузку китайским пользователям! Мы оцениваем производительность InternLM2-Math-Plus на формальном тесте математических рассуждений MiniF2F-test. Настройки оценки такие же, как в Llemma с LEAN 4. Мы оцениваем производительность InternLM2-Math-Plus на неформальном тесте математических рассуждений MATH и GSM8K. InternLM2-Math-Plus-1.8B превосходит MiniCPM-2B при наименьших размерах. InternLM2-Math-Plus-7B превосходит Deepseek-Math-7B-RL, который является самым современным…
Модальности:
Генерация текста
Области применения:
Математика Диалог / чат
Задача: Генерация текста
Автор: internlm
Теги: internlm2, math, conversational, custom_code, en, zh
Лайков: 11 | Загрузок: 156
Описание основано на материалах HuggingFace. Перевод выполнен автоматически.
