CoolFace
Modelpublic

fumiyau/mathlib4_state_diff_v2

sourceHugging Faceupdated 2y agoView on Hugging Face
0likes4downloads
root
file.gitattributes2 KBdownload
fileconfig.json1 KBdownload
filemodel.safetensors1.04 GBdownload
filespecial_tokens_map.json280 Bdownload
filetokenizer_config.json1 KBdownload
filetokenizer.json16.3 MBdownload
filetraining_args.bin5 KBdownload

fumiyau/mathlib4_state_diff_v2 · main · files are served by the source, never re-hosted here