{"id":"8f9b8c50-d445-456c-8a3c-9e8c4dfc097e","slug":"hf-model-gpoesia-dafny-annotator-8b-1mr7okq-q","name":"dafny-annotator-8B","description":"Hugging Face model gpoesia/dafny-annotator-8B. Task: text generation. Library: transformers. 20 downloads. 1 likes.","capabilities":["transformers","safetensors","llama","text-generation","arxiv:1910.09700","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":33,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:39:47.195Z"}