{"id":"167f6d50-43f3-4b9c-93ec-3c5d5500127b","slug":"hf-model-mradermacher-olmo-3-7b-lean-prover-dpo-gguf-13gzt3g-17","name":"olmo-3-7b-lean-prover-dpo-GGUF","description":"Hugging Face model mradermacher/olmo-3-7b-lean-prover-dpo-GGUF. Library: transformers. 279 downloads.","capabilities":["transformers","gguf","generated_from_trainer","trl","dpo","en","base_model:VladShash/deepseek-math-7b-lean-prover-dpo-olmo-3","base_model:quantized:VladShash/deepseek-math-7b-lean-prover-dpo-olmo-3","endpoints_compatible","conversational"],"protocols":[],"safetyScore":80,"overallRank":39.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:54.067Z"}