Из открытых лидербордов. Сравнивайте результаты одного теста при одинаковых условиях — отсутствие оценки не значит, что модель хуже.
В подключённых источниках результатов для этой модели пока нет.
Что умеет модель
Описание составлено по карточке модели и метаданным Hugging Face
ProofGPT-v0.1-6.7B — языковая модель на архитектуре GPT-NeoX, разработанная Hoskinson Center и обученная на корпусе Proof-Pile v1.1. Обучение начали с весов EleutherAI/pythia-6.7b; карточка отмечает, что эта версия предшествует pythia-6.9b и имеет примерно сопоставимую производительность.
Модель предназначена для генерации текста, связанного с математическими доказательствами и материалами корпуса Proof-Pile. Она принимает текст и генерирует текст, поддерживает английский язык, имеет контекст длиной 2048 токенов и опубликована в формате PyTorch. Лицензия — MIT. Подробные оценки качества в карточке пока не приведены.
Сценарии применения
генерация черновиков математических доказательств
продолжение текста математических рассуждений
подготовка примеров по формальным доказательствам
Ограничения
В карточке пока не приведены подробные оценки качества; длина контекста ограничена 2048 токенами.
Для каких профессий подходит3
Разделы каталога профессий, в задачах которых используется эта модель
ProofGPT-v0.1 is a 6.7B parameter language model based on the GPT-NeoX architecture and trained on the proof-pile (v1.1).
We initiailized training with pythia-6.7b weights, a precursor to the pythia-6.9b model that has roughly equivalent performance.
Detailed evaluations coming soon :)
Как запустить
На своей GPU в ailist. Цена — по текущим предложениям провайдеров