Modelpublic

huawei-ai4math/Mathesis-Autoformalizer-HPO

sourceHugging Faceupdated 1y agoView on Hugging Face

0likes9downloads

file.gitattributes2 KBdownload

fileadded_tokens.json605 Bdownload

fileargs.json27 KBdownload

fileconfig.json854 Bdownload

filegeneration_config.json266 Bdownload

filemerges.txt1.6 MBdownload

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

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

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

filemodel-00004-of-00004.safetensors1.02 GBdownload

filemodel.safetensors.index.json27 KBdownload

filespecial_tokens_map.json610 Bdownload

filetokenizer_config.json7 KBdownload

filetokenizer.json10.9 MBdownload

filevocab.json2.6 MBdownload

huawei-ai4math/Mathesis-Autoformalizer-HPO · main · files are served by the source, never re-hosted here