Model: metareflection/dafny-annotator-vfp-4B
Author: metareflection
Pipeline: text-generation
Library: mlx
Tags: mlx, safetensors, qwen3, text-generation, conversational, en, region:us
Card metadata: language: en
pipeline_tag: text-generation
library_name: mlx
tags: mlx
Likes: 0 | All-time downloads: 42
Created: 2025-10-28 20:42:10