Modelpublic

AI-MO/Kimina-Prover-Preview-Distill-1.5B

sourceHugging Faceapache-2.0updated 1y agoView on Hugging Face

12likes263downloads

file.gitattributes2 KBdownload

fileadded_tokens.json605 Bdownload

fileconfig.json739 Bdownload

filegeneration_config.json139 Bdownload

filemerges.txt1.6 MBdownload

filemodel.safetensors3.31 GBdownload

fileREADME.md3 KBdownload

filespecial_tokens_map.json613 Bdownload

filetokenizer_config.json7 KBdownload

filetokenizer.json10.9 MBdownload

filevocab.json2.6 MBdownload

AI-MO/Kimina-Prover-Preview-Distill-1.5B · main · files are served by the source, never re-hosted here