Современные двуязычные программы магистратуры по математике с открытым исходным кодом. Решатель, доказывающий, проверяющий, увеличивающий. 💻 Github 🤗 Демо 🤗 Контрольные точки  ModelScope — [2024.01.29] Добавляем контрольные точки из ModelScope. Технический отчет уже в пути! — [2024.01.26] Мы добавляем контрольные точки из OpenXLab, которые облегчают загрузку китайским пользователям! — LM 7B и 20B по китайской и английской математике с производительностью выше, чем у ChatGPT. InternLM2-Math продолжает предварительно обучаться на базе InternLM2-Base с использованием примерно 100 миллиардов высококачественных математических токенов и SFT с примерно 2 миллионами двуязычных математических контролируемых данных. Мы применяем minhash и точное совпадение чисел, чтобы обеззаразить возможную утечку тестового набора. — Добавьте Lean в качестве языка поддержки для решения математических задач и доказательства математических теорем. Мы изучаем возможность объединения Lean 3 с InternLM-Math для проверяемых математических рассуждений. InternLM-Math может генерировать коды Lean для простых математических задач, таких как GSM8K, или предоставлять возможные тактики доказательства, основанные на состояниях Lean. — Также может рассматриваться как модель вознаграждения, которая поддерживает модель результата/процесса/бережливого вознаграждения. Мы контролируем InternLM2-Math с помощью различных типов данных моделирования вознаграждений, чтобы сделать InternLM2-Math…
Модальности:
Генерация текста
Области применения:
Математика Диалог / чат
Задача: Генерация текста
Автор: internlm
Теги: internlm2, math, conversational, custom_code, en, zh
Лайков: 27 | Загрузок: 293
Описание основано на материалах HuggingFace. Перевод выполнен автоматически.
