Modelpublic

formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl

sourceHugging Faceotherupdated 25d agoView on Hugging Face

0likes2kdownloads

file.gitattributes2 KBdownload

fileadded_tokens.json707 Bdownload

fileall_results.json290 Bdownload

filechat_template.jinja4 KBdownload

fileconfig.json2 KBdownload

filegeneration_config.json127 Bdownload

filemerges.txt1.6 MBdownload

filemodel-00001-of-00004.safetensors4.57 GBdownload

filemodel-00002-of-00004.safetensors4.58 GBdownload

filemodel-00003-of-00004.safetensors4.64 GBdownload

filemodel-00004-of-00004.safetensors1.47 GBdownload

filemodel.safetensors.index.json32 KBdownload

fileREADME.md1 KBdownload

filespecial_tokens_map.json616 Bdownload

filetokenizer_config.json5 KBdownload

filetokenizer.json10.9 MBdownload

filetrain_results.json290 Bdownload

filetrainer_log.jsonl36 KBdownload

filetrainer_state.json44 KBdownload

filetraining_args.bin8 KBdownload

filetraining_loss.png65 KBdownload

filevocab.json2.6 MBdownload

formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl · main · files are served by the source, never re-hosted here