Modelpublic

korazer/Qwen-3-8B-Lean4-Autoformalization

sourceHugging Faceupdated 1y agoView on Hugging Face

0likes

dircheckpoint-2785/

file.gitattributes2 KBdownload

fileadapter_config.json922 Bdownload

fileadapter_model.safetensors166.6 MBdownload

fileadded_tokens.json707 Bdownload

filechat_template.jinja4 KBdownload

filefine-tuning-qwen-3-stage-1.ipynb111 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/Qwen-3-8B-Lean4-Autoformalization · main · files are served by the source, never re-hosted here