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
Commit History
Upload LlamaForCausalLM
2c37b87
verified
gpoesia
commited on
Sep 23, 2025
initial commit
bd58a67
verified
gpoesia
commited on
Sep 23, 2025
gpoesia
commited on
gpoesia
commited on
