The RickyDeSkywalker/GAR_Goedel-Prover-V2 galaxy

1 models are built on RickyDeSkywalker/GAR_Goedel-Prover-V2: 1 quantized, 0 fine-tuned, 0 adapters and 0 merges. Together they were downloaded 302 times in the last 30 days.

Most downloaded direct derivatives