TitiSkywalker/C2C-Goedel-Prover download history
TitiSkywalker/C2C-Goedel-Prover is a 32.0B-parameter text generation model by TitiSkywalker. In the last 30 days it was downloaded 13 times (4 in the last 7 days), and 85 times in total.
It ranks #619,762 on the Hub by monthly downloads and #223,074 among text generation models.
It has 0 likes.
It is a fine-tune of Goedel-LM/Goedel-Prover-V2-32B.
2 models build on C2C-Goedel-Prover: 1 quantized, 1 fine-tuned, 0 adapters and 0 merges. Together with the original they were downloaded 158 times in the last 30 days. See the C2C-Goedel-Prover galaxy.
Most downloaded derivatives
- TitiSkywalker/C2C-Goedel-Value (finetune), 16 downloads in 30 days