Hugging Face model: mradermacher/olmo-3-7b-lean-prover-dpo-olmo-GGUF
Author: mradermacher
Created: 2026-04-14 14:02:54
Last modified: 2026-04-14 14:29:53
Library: transformers
Likes: 0 | Downloads: 12
Tags: transformers, gguf, generated_from_trainer, dpo, trl, en, endpoints_compatible, region:us, conversational
Card metadata:
base_model: VladShash/olmo-3-7b-lean-prover-dpo-olmo
language: en
library_name: transformers
model_name: olmo-3-7b-lean-prover-dpo-olmo
mradermacher: readme_rev: 1
quantized_by: mradermacher
tags: generated_from_trainer, dpo, trl