Англоязычная версия DistilGPT2, дообученная на математических доказательствах для генерации текстов в соответствующем стиле.
Как модель справилась с задачами пользователей ailist и что о ней публикуют открытые лидерборды
Никто ещё не опубликовал тест этой модели. Соберите бенчмарк из своих задач — результат появится здесь.
Вместе с другими моделями категории «Текст» — сравнение идёт внутри одной категории.
Напишите запросы, при необходимости приложите файлы и эталонные ответы.
Модели ответят на каждую задачу, судья оценит ответы. Опубликованный результат появится на этой странице.
Из открытых лидербордов. Сравнивайте результаты одного теста при одинаковых условиях — отсутствие оценки не значит, что модель хуже.
В подключённых источниках результатов для этой модели пока нет.
Описание составлено по карточке модели и метаданным Hugging Face
DistilGPT2 — англоязычная языковая модель на архитектуре GPT-2, дообученная Кристофером Э. Стоуном на математических доказательствах из LaTeX-источников arXiv за 1992–2020 годы. Тексты доказательств очищены: цитаты, ссылки, математические формулы и помеченные случаи заменены маркерами CITE, REF, MATH и CASE:.
Модель предназначена для генерации текста в стиле математических доказательств. Её можно использовать для экспериментов с продолжением формальных математических рассуждений и создания черновиков доказательств. Контекст составляет 1024 токена. Лицензия в доступных сведениях не указана.
Генерируемые доказательства могут содержать математические ошибки и требуют проверки специалистом. Формулы, ссылки и цитаты представлены обобщёнными маркерами, поэтому модель не сохраняет их исходное содержание.
Разделы каталога профессий, в задачах которых используется эта модель
README от автора на Hugging Face, как он его опубликовал
DistilGPT2 English language model fine-tuned on mathematical proofs extracted from arXiv.org LaTeX sources from 1992 to 2020.
Proofs have been cleaned up a bit. In particular, they use
CITE for any citationREF for any referenceMATH for any LaTeX mathematical formulaCASE: for any \item or labeled subcase.На своей GPU в ailist. Цена — по текущим предложениям провайдеров
GPU в ailist
Универсальный рантайм
Подбираем GPU…