gpoesia/finetuned_Meta-Llama-3.1-8B_dafnybench-100-peft
Updated
•
1
Gabriel Poesia
gpoesia
AI & ML interests
mathematical reasoning, language models, program synthesis, formal methods
Recent Activity
updated
a model
20 days ago
gpoesia/finetuned_Meta-Llama-3.1-8B_dafnybench-100-peft
published
a model
20 days ago
gpoesia/finetuned_Meta-Llama-3.1-8B_dafnybench-100-peft
published
a model
21 days ago
metareflection/dafny-annotator
Organizations
