The awhecmu/Qwen3.5-9B-SFT-subproofs-mathlib-v4.29.0 galaxy

1 models are built on awhecmu/Qwen3.5-9B-SFT-subproofs-mathlib-v4.29.0: 1 quantized, 0 fine-tuned, 0 adapters and 0 merges. Together they were downloaded 28 times in the last 30 days.

Most downloaded direct derivatives

• awhecmu/Qwen3.5-9B-SFT-subproofs-mathlib-v4.29.0-Q5_K_M-GGUF (quantized), 22 downloads in 30 days

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