Modelpublic

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

sourceHugging Faceupdated 1y agoView on Hugging Face

0likes

file.gitattributes2 KBdownload

fileadapter_config.json848 Bdownload

fileadapter_model.safetensors29.3 MBdownload

fileadded_tokens.json707 Bdownload

filechat_template.jinja4 KBdownload

filefine_tune_qwen_lean4_dpo.py7 KBdownload

filefine_tune_qwen.ipynb416 KBdownload

filemerges.txt1.6 MBdownload

fileREADME.md5 KBdownload

filespecial_tokens_map.json613 Bdownload

filetokenizer_config.json5 KBdownload

filetokenizer.json10.9 MBdownload

filevocab.json2.6 MBdownload

korazer/qwen3-8b-lean4-prover-finetuned · main · files are served by the source, never re-hosted here