metareflection
/

dafny-annotator-vfp-sketch-autogen-4B

Model card Files Files and versions

dafny-annotator-vfp-sketch-autogen-4B / tokenizer.json

Commit History

Upload folder using huggingface_hub

d5ce6db
verified

mitnamin commited on Nov 9, 2025