/ Модель

Характеристики

Контекст
2 048 токенов
Параметры
8,8 млрд
Размер весов
13,8 ГБ
Лицензия
MIT
Архитектура
gpt_neox · dense
Опубликована
4 фев 2023

proofGPT-v0.1-6.7B

Генерация текстаТекст → текст3 профессии

Англоязычная GPT-NeoX-модель, дообученная на Proof-Pile для генерации текста по математическим доказательствам.

128скачиваний за 30 дней10лайковвеса обновлены15 фев 2023

Бенчмарки

Как модель справилась с задачами пользователей ailist и что о ней публикуют открытые лидерборды

Тесты пользователейпока нет

Никто ещё не опубликовал тест этой модели. Соберите бенчмарк из своих задач — результат появится здесь.

  1. Добавьте модель в бенчмарк

    Вместе с другими моделями категории «Текст» — сравнение идёт внутри одной категории.

  2. Опишите свои задачи

    Напишите запросы, при необходимости приложите файлы и эталонные ответы.

  3. Запустите и опубликуйте

    Модели ответят на каждую задачу, судья оценит ответы. Опубликованный результат появится на этой странице.

Публичные оценки

Из открытых лидербордов. Сравнивайте результаты одного теста при одинаковых условиях — отсутствие оценки не значит, что модель хуже.

В подключённых источниках результатов для этой модели пока нет.

Что умеет модель

Описание составлено по карточке модели и метаданным 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

Разделы каталога профессий, в задачах которых используется эта модель

Все профессии

Карточка модели

README от автора на Hugging Face, как он его опубликовал

Открыть на Hugging Face

ProofGPT-v0.1

Model Description

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. Цена — по текущим предложениям провайдеров

GPU в ailist

Универсальный рантайм

Можно запустить

Подбираем GPU…

Класс архитектуры
GPTNeoXForCausalLM
Ревизия весов
02f405f

0 моделей