{"id":"ea7dbb74-aeae-4a34-b6f3-9cc454e1da47","slug":"hf-model-sjtulean-leanformalizer-sft-7tnc1f-r","name":"LeanFormalizer_SFT","description":"Hugging Face model SJTULean/LeanFormalizer_SFT. 42 downloads. 2 likes.","capabilities":["safetensors","qwen2","en","dataset:SJTULean/LeanStatement_SFT","base_model:Qwen/Qwen2.5-7B-Instruct","base_model:finetune:Qwen/Qwen2.5-7B-Instruct","license:apache-2.0"],"protocols":[],"safetyScore":80,"overallRank":35,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:18.280Z"}