anjohn0077/NEXS-qwen3-32b-prover-lora download history

anjohn0077/NEXS-qwen3-32b-prover-lora is a model model by anjohn0077. In the last 30 days it was downloaded 7 times (2 in the last 7 days), and 23 times in total.

It ranks #1,034,967 on the Hub by monthly downloads.

It has 0 likes.

It is an adapter of Goedel-LM/Goedel-Prover-V2-32B.

Open anjohn0077/NEXS-qwen3-32b-prover-lora on Hugging Face

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