mradermacher/Goedel-Prover-SFT-GGUF download history
mradermacher/Goedel-Prover-SFT-GGUF is a model model by mradermacher. In the last 30 days it was downloaded 147 times (12 in the last 7 days), and 1,959 times in total.
It ranks #158,972 on the Hub by monthly downloads.
It has 0 likes.
It is a quantization of Goedel-LM/Goedel-Prover-SFT.