{"id":"0e8a110b-5c71-4246-9dc2-38b005d1b15c","slug":"hf-model-pythagoras-lm-pythagoras-prover-4b-ozl1mm-y","name":"Pythagoras-Prover-4B","description":"Hugging Face model Pythagoras-LM/Pythagoras-Prover-4B. Task: text generation. Library: transformers. 1,047 downloads. 8 likes.","capabilities":["transformers","safetensors","qwen3","text-generation","conversational","dataset:Pythagoras-LM/SFT_Dataset","dataset:Pythagoras-LM/SFT_Dataset_Distillation_4B","arxiv:2606.12594","base_model:Qwen/Qwen3-4B","base_model:finetune:Qwen/Qwen3-4B","license:apache-2.0","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":43,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:21.405Z"}