l3lab/ntp-mathlib-context-deepseek-coder-1.3b

File-tuned context model from [miniCTX: Neural Theorem Proving with (Long-)Contexts](). — Base language model: deepseek-ai/deepseek-coder-1.3b-base — Data: ntp-mathlib-instruct-context It is specifically finetuned for Lean 4 tactic prediction given proof states and optional file contexts.

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

Области применения:
Генерация кода Математика

Задача: Генерация текста
Автор: l3lab
Теги: llama, text-generation-inference, endpoints_compatible
Лайков: 3  |  Загрузок: 72

Открыть на HuggingFace →

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