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
updated
a
model
20 days ago
published
a
model
20 days ago
published
a
model
21 days ago
updated
a
dataset
about 1 year ago
authored
a
paper
about 2 years ago