RickyDeSkywalker/GAR_Goedel-Prover-V2 download history
RickyDeSkywalker/GAR_Goedel-Prover-V2 is a 2.0B-parameter text generation model by RickyDeSkywalker. In the last 30 days it was downloaded 21 times (6 in the last 7 days), and 104 times in total.
It ranks #396,071 on the Hub by monthly downloads and #116,484 among text generation models.
It has 0 likes.
It is a fine-tune of Goedel-LM/Goedel-Prover-V2-8B.
1 models build on GAR_Goedel-Prover-V2: 1 quantized, 0 fine-tuned, 0 adapters and 0 merges. Together with the original they were downloaded 305 times in the last 30 days. See the GAR_Goedel-Prover-V2 galaxy.
Most downloaded derivatives
- mradermacher/GAR_Goedel-Prover-V2-GGUF (quantized), 284 downloads in 30 days