metareflection
/

dafny-annotator-vfp-autogen-4B

Model card Files Files and versions

dafny-annotator-vfp-autogen-4B / generation_config.json

Commit History

Upload folder using huggingface_hub

4c894fd
verified

mitnamin commited on Nov 9, 2025