Hugging Face model: AlexVav01/lean4-autoformalizer-sft
Author: AlexVav01
Created: 2026-06-20 18:23:37
Last modified: 2026-06-20 18:26:02
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 12
Tags: transformers, safetensors, qwen2, text-generation, conversational, arxiv:1910.09700, text-generation-inference, endpoints_compatible, region:us
Card metadata:
library_name: transformers