NP235/Goedel-Formalizer-V2-32B download history

NP235/Goedel-Formalizer-V2-32B is a 32.8B-parameter model model by NP235. In the last 30 days it was downloaded 4 times (0 in the last 7 days), and 16 times in total.

It ranks #1,277,649 on the Hub by monthly downloads.

It has 0 likes.

It is a fine-tune of Qwen/Qwen3-32B.

Open NP235/Goedel-Formalizer-V2-32B on Hugging Face

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