Modelpublic

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

sourceHugging Faceupdated 5mo agoView on Hugging Face

0likes10downloads

2 commits on main

b97ca6e5mo ago

Upload folder using huggingface_hub

awhecmu

27211d55mo ago

initial commit

awhecmu