arXiv:2306.04031
Gabriel Poesia
gpoesia
AI & ML interests
mathematical reasoning, language models, program synthesis, formal methods
Recent Activity
updated
a model
about 2 months ago
gpoesia/dafny-annotator-8B
published
a model
about 2 months ago
gpoesia/dafny-annotator-8B
updated
a model
4 months ago
gpoesia/finetuned_Meta-Llama-3.1-8B_dafnybench-100-peft