Modelpublic

metareflection/dafny-annotator-vfp-autogen-4B

sourceHugging Faceupdated 11mo agoView on Hugging Face

0likes20downloads

file.gitattributes2 KBdownload

fileadded_tokens.json707 Bdownload

filechat_template.jinja3 KBdownload

fileconfig.json2 KBdownload

filegeneration_config.json187 Bdownload

filemerges.txt1.6 MBdownload

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

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

filemodel.safetensors.index.json32 KBdownload

fileREADME.md33 Bdownload

filespecial_tokens_map.json496 Bdownload

filetokenizer_config.json5 KBdownload

filetokenizer.json10.9 MBdownload

filevocab.json2.6 MBdownload

metareflection/dafny-annotator-vfp-autogen-4B · main · files are served by the source, never re-hosted here