{"id":"e64217cc-b4ff-4b09-ae97-be639237855b","slug":"hf-model-lm-provers-qed-nano-sft-11yhk2y-n","name":"QED-Nano-SFT","description":"Hugging Face model lm-provers/QED-Nano-SFT. Task: text generation. Library: transformers. 55 downloads. 6 likes.","capabilities":["transformers","safetensors","qwen3","text-generation","math","reasoning","olympiad","proof-generation","sft","distillation","conversational","dataset:lm-provers/FineProofs-SFT","base_model:Qwen/Qwen3-4B-Thinking-2507","base_model:finetune:Qwen/Qwen3-4B-Thinking-2507","license:apache-2.0","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":35.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:04.380Z"}