Model: gpoesia/dafny-annotator-8B
Author: gpoesia
Pipeline: text-generation
Library: transformers
Tags: transformers, safetensors, llama, text-generation, arxiv:1910.09700, text-generation-inference, endpoints_compatible, region:us
Card metadata: library_name: transformers
Likes: 1 | All-time downloads: 134
Created: 2025-09-23 16:37:37