{"id":"0ff43bf5-6cee-42b2-beab-05abff1c0743","slug":"hf-model-sjtulean-leanformalizer-cot-7tmzn0-r","name":"LeanFormalizer_CoT","description":"Hugging Face model SJTULean/LeanFormalizer_CoT. 22 downloads. 1 likes.","capabilities":["safetensors","qwen2","en","dataset:SJTULean/LeanStatement_CoT","base_model:Qwen/Qwen2.5-7B-Instruct","base_model:finetune:Qwen/Qwen2.5-7B-Instruct","license:apache-2.0"],"protocols":[],"safetyScore":80,"overallRank":33,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:39:27.174Z"}