Goedel-LM/Goedel-Prover-SFT

1 derivatives checked

• mradermacher/Goedel-Prover-SFT-GGUF: Same weights, converted

1 other repos hold byte-for-byte identical weight files.

On the Hub · Downloads on Model Pulse