CoolFace
Modelpublic

JobPetrovcic/leandojo-lean4-retriever-novel-premises

sourceHugging Faceupdated 1y agoView on Hugging Face
0likes7downloads
root
file.gitattributes1 KBdownload
fileadded_tokens.json3 KBdownload
fileconfig.json781 Bdownload
filemodel.safetensors830.3 MBdownload
filespecial_tokens_map.json3 KBdownload
filetokenizer_config.json25 KBdownload

JobPetrovcic/leandojo-lean4-retriever-novel-premises · main · files are served by the source, never re-hosted here