{"id":"6d07277e-0dd9-43d6-ab44-07dd3f6c0766","slug":"hf-model-pythagoras-lm-pythagoras-prover-diffusion-4b-6u0w0i-18","name":"Pythagoras-Prover-Diffusion-4B","description":"Hugging Face model Pythagoras-LM/Pythagoras-Prover-Diffusion-4B. Task: text generation. Library: transformers. 94 downloads.","capabilities":["transformers","safetensors","a2d-qwen3","fill-mask","text-generation","conversational","dataset:Pythagoras-LM/SFT_Dataset","arxiv:2606.12594","base_model:Qwen/Qwen3-4B","base_model:finetune:Qwen/Qwen3-4B","license:apache-2.0","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":37,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:37.051Z"}