{"id":"93f46ef3-bf48-4a51-b1a2-7c9c20547595","slug":"hf-model-tinyopsec-pythagoras-prover-4b-gguf-z","name":"Pythagoras-Prover-4B-GGUF","description":"Hugging Face model tinyopsec/Pythagoras-Prover-4B-GGUF. Task: text generation. Library: llama-cpp. 2,536 downloads. 1 likes.","capabilities":["llama-cpp","gguf","quantized","math","reasoning","theorem-proving","text-generation","en","base_model:Pythagoras-LM/Pythagoras-Prover-4B","base_model:quantized:Pythagoras-LM/Pythagoras-Prover-4B","license:apache-2.0","endpoints_compatible","conversational"],"protocols":[],"safetyScore":80,"overallRank":45.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:09.830Z"}