metareflection

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

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

dafny-annotator-vfp-sketch-autogen-4B is a machine learning model from metareflection. Use it for the machine learning task on the model card, and read the license before you ship it in a product.