Настроенная на файл контекстная модель на основе miniCTX: доказательство нейронной теоремы с (длинными)контекстами. — Базовая языковая модель: Llama 3 8B — Данные: ntp-mathlib-instruct-context Он специально настроен для прогнозирования тактики Lean 4 с учетом состояний доказательства и дополнительных контекстов файлов.
Модальности:
Генерация текста
Области применения:
Диалог / чат
Задача: Генерация текста
Автор: l3lab
Теги: llama, conversational, text-generation-inference, endpoints_compatible
Лайков: 3 | Загрузок: 13
Описание основано на материалах HuggingFace. Перевод выполнен автоматически.
