CoolFace
Modelpublic

delta-lab-ai/lean-finder

sourceHugging Faceapache-2.0updated 4mo agoView on Hugging Face
2likes1.1kdownloads
root
revisionmainold-model
file.gitattributes2 KBdownload
fileadded_tokens.json605 Bdownload
filechat_template.jinja2 KBdownload
fileconfig.json2 KBdownload
filegeneration_config.json139 Bdownload
filemathlib4_19_0.index3.02 GBdownload
filemathlib4_19_0.jsonl161.2 MBdownload
filemathlib4_24_0.index3.22 GBdownload
filemathlib4_24_0.jsonl203.0 MBdownload
filemathlib4_28_0.index3.43 GBdownload
filemathlib4_28_0.jsonl221.3 MBdownload
filemerges.txt1.6 MBdownload
filemodel-00001-of-00004.safetensors4.56 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.md3 KBdownload
filespecial_tokens_map.json613 Bdownload
filetokenizer_config.json5 KBdownload
filetokenizer.json10.9 MBdownload
filevocab.json2.6 MBdownload

delta-lab-ai/lean-finder · main · files are served by the source, never re-hosted here