Hugging Face model: metareflection/dafny-annotator-vfp-4B
Author: metareflection
Created: 2025-10-28 20:42:10
Last modified: 2025-10-28 20:43:50
Pipeline: text-generation
Library: mlx
Likes: 0 | Downloads: 7
Tags: mlx, safetensors, qwen3, text-generation, conversational, en, region:us
Card metadata:
language: en
pipeline_tag: text-generation
library_name: mlx
tags: mlx