Modelpublic

korazer/qwen3-8b-lean4-prover-finetuned

sourceHugging Faceupdated 1y agoView on Hugging Face

0likes

5 commits on main

7e82d831y ago

Upload fine_tune_qwen.ipynb

korazer

ad9970e1y ago

Upload fine_tune_qwen_lean4_dpo.py

korazer

efad26d1y ago

Upload tokenizer

korazer

23739301y ago

Upload model

korazer

3b598dc1y ago

initial commit

korazer