Modelpublic

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

sourceHugging Faceupdated 11mo agoView on Hugging Face

0likes14downloads

file.gitattributes2 KBdownload

fileadded_tokens.json707 Bdownload

filechat_template.jinja3 KBdownload

fileconfig.json2 KBdownload

filegeneration_config.json213 Bdownload

filemerges.txt1.6 MBdownload

filemodel-00001-of-00004.safetensors4.93 GBdownload

filemodel-00002-of-00004.safetensors4.98 GBdownload

filemodel-00003-of-00004.safetensors4.98 GBdownload

filemodel-00004-of-00004.safetensors95.0 MBdownload

filemodel.safetensors.index.json34 KBdownload

fileREADME.md577 Bdownload

filespecial_tokens_map.json613 Bdownload

filetokenizer_config.json5 KBdownload

filetokenizer.json10.9 MBdownload

filevocab.json2.6 MBdownload

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