Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
gpoesia
/
dafny-annotator-8B
like
1
Text Generation
Transformers
Safetensors
llama
text-generation-inference
arxiv:
1910.09700
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
main
dafny-annotator-8B
/
generation_config.json
Commit History
Upload LlamaForCausalLM
2c37b87
verified
gpoesia
commited on
Sep 23, 2025
gpoesia
commited on
