Goedel-LM/Goedel-Prover-SFT download history
Goedel-LM/Goedel-Prover-SFT is a 6.9B-parameter model model by Goedel-LM. In the last 30 days it was downloaded 261 times (89 in the last 7 days), and 64,940 times in total.
It ranks #115,839 on the Hub by monthly downloads.
It has 32 likes.
1 models build on Goedel-Prover-SFT: 1 quantized, 0 fine-tuned, 0 adapters and 0 merges. Together with the original they were downloaded 408 times in the last 30 days. See the Goedel-Prover-SFT galaxy.
Most downloaded derivatives
- mradermacher/Goedel-Prover-SFT-GGUF (quantized), 147 downloads in 30 days