lean4-autoformalizer-sft
AlexVav01·Генерация текста
safetensors: формат, квантизация, runtime и память принадлежат одному artifact
Загрузки на Hugging Face · 20Лайки · 0Контекст · 32 768 токеновВыход на Hugging Face · 20 июн 2026
safetensors: формат, квантизация, runtime и память принадлежат одному artifact