Modelpublic

lm-provers/QED-Nano

sourceHugging Faceapache-2.0updated 6mo agoView on Hugging Face

89likes578downloads

dir.eval_results/

file.gitattributes2 KBdownload

fileadded_tokens.json707 Bdownload

filechat_template.jinja4 KBdownload

fileconfig.json2 KBdownload

fileevals.png152 KBdownload

filegeneration_config.json188 Bdownload

fileimoproofbench.png107 KBdownload

filelogo.png254 KBdownload

filemerges.txt1.6 MBdownload

filemodel-00001-of-00002.safetensors4.63 GBdownload

filemodel-00002-of-00002.safetensors2.87 GBdownload

filemodel.safetensors.bak423 KBdownload

filemodel.safetensors.index.json32 KBdownload

fileREADME.md6 KBdownload

filespecial_tokens_map.json613 Bdownload

filetokenizer_config.json9 KBdownload

filetokenizer.json10.9 MBdownload

filevocab.json2.6 MBdownload

lm-provers/QED-Nano · main · files are served by the source, never re-hosted here