Goedel-LM/Goedel-Prover-DPO download history
Goedel-LM/Goedel-Prover-DPO is a 6.9B-parameter model model by Goedel-LM. In the last 30 days it was downloaded 11 times (1 in the last 7 days), and 426 times in total.
It ranks #731,830 on the Hub by monthly downloads.
It has 4 likes.
1 models build on Goedel-Prover-DPO: 1 quantized, 0 fine-tuned, 0 adapters and 0 merges. Together with the original they were downloaded 225 times in the last 30 days. See the Goedel-Prover-DPO galaxy.
Most downloaded derivatives
- mradermacher/Goedel-Prover-DPO-GGUF (quantized), 214 downloads in 30 days