The TitiSkywalker/C2C-Goedel-Prover galaxy

2 models are built on TitiSkywalker/C2C-Goedel-Prover: 1 quantized, 1 fine-tuned, 0 adapters and 0 merges. Together they were downloaded 158 times in the last 30 days.

Most downloaded direct derivatives

• TitiSkywalker/C2C-Goedel-Value (finetune), 16 downloads in 30 days

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.