Hugging Face model: metareflection/dafny-annotator-vfp-sketch-autogen-4B
Author: metareflection
Created: 2025-11-09 18:55:44
Last modified: 2025-11-09 20:31:33
Likes: 0 | Downloads: 8
Tags: safetensors, qwen3, region:us
Card metadata: