metareflection
/

dafny-annotator-modular-vfp-4B

Text Generation

Model card Files Files and versions

dafny-annotator-modular-vfp-4B / tokenizer.json

Commit History

Add files using upload-large-folder tool

020af85
verified

mitnamin commited on Oct 28