internlm/internlm2_5-step-prover-critic - Каталог нейросетей
Генерация текста

internlm/internlm2_5-step-prover-critic

Добавлено:
internlm/internlm2_5-step-prover-critic

InternLM2.5-Step-Prover-Critic — это критическая модель 1,8B, которая обеспечивает самые современные характеристики в математических тестах MiniF2F, ProofNet и Putnam, демонстрируя свою формальную способность к математическому доказательству в нескольких областях.

Модальности:
Генерация текста

Области применения:
Математика Диалог / чат

Задача: Генерация текста
Автор: internlm
Теги: internlm2, math, conversational, custom_code, en
Лайков: 6  |  Загрузок: 174

Открыть на HuggingFace →

Описание основано на материалах HuggingFace. Перевод выполнен автоматически.

Теги: #conversational #custom_code #en #internlm2 #math

Похожие модели (Генерация текста)

Генерация текста

OmnicromsBrain/NeuralStar_AlphaWriter_4x7b

Я был потрясен результатами написания, которые я получил с помощью mlabonne/Beyonder-4x7B-v3 во время написания в NovelCrafter. Вдохновлен его...

11
HF Подробнее
Генерация текста

amirMohammadi/Dorna-Llama3-8B-Instruct-Quantized4Bit

Этот репозиторий представляет собой 4-битную квантованную версию модели Dorna-Llama3-8B-Instruct для эффективного использования памяти. Модель Дорны — это модель,...

9
HF Подробнее
Генерация текста

CausalLM/14B-DPO-alpha

Подробную информацию см. в версии без обучения DPO: CausalLM/14B. 3 декабря 2023 г. · Небазовая модель своего размера...

27k
HF Подробнее