Hugging Face model: awhecmu/Qwen3.5-9B-SFT-subproofs-mathlib-v4.29.0
Author: awhecmu
Created: 2026-04-18 04:50:41
Last modified: 2026-04-18 04:53:15
Likes: 0 | Downloads: 7
Tags: safetensors, qwen3_5, region:us
Card metadata: