Modelpublic

KomeijiForce/llama-2-7b-propositional-logic-prover

sourceHugging Facemitupdated 1y agoView on Hugging Face

0likes24downloads

file.gitattributes1 KBdownload

fileadded_tokens.json42 Bdownload

fileconfig.json710 Bdownload

fileDFS_search_with_concurrent.py29 KBdownload

filegeneration_config.json183 Bdownload

filepytorch_model-00001-of-00003.bin9.20 GBdownload

filepytorch_model-00002-of-00003.bin9.22 GBdownload

filepytorch_model-00003-of-00003.bin6.69 GBdownload

filepytorch_model.bin.index.json23 KBdownload

fileREADME.md24 Bdownload

filespecial_tokens_map.json169 Bdownload

filetokenizer_config.json1 KBdownload

filetokenizer.model488 KBdownload

KomeijiForce/llama-2-7b-propositional-logic-prover · main · files are served by the source, never re-hosted here