metareflection
/

dafny-annotator-vfp-autogen-4B

Model card Files Files and versions

YAML Metadata Warning:empty or missing yaml metadata in repo card

Check out the documentation for more information.

dafny-annotator-vfp-autogen-4B

Downloads last month: 10

Safetensors

Model size

4B params

Tensor type

BF16

·

Inference Providers NEW

This model isn't deployed by any Inference Provider. 🙋 Ask for provider support