Modelpublic

connorolson/qwen35-9b-lean4-geometry-lora

sourceHugging Faceupdated 4mo agoView on Hugging Face

0likes7downloads

3 commits on main

69b81084mo ago

Upload Lean 4 QLoRA adapter

connorolson

77c296b4mo ago

Upload Lean 4 QLoRA adapter

connorolson

f71fca44mo ago

initial commit

connorolson