Gabriel Poesia's picture

Gabriel Poesia

gpoesia

·

https://gpoesia.com

AI & ML interests

mathematical reasoning, language models, program synthesis, formal methods

Organizations

Papers 1

arxiv:2306.04031

models 2

gpoesia/dafny-annotator-8B

Text Generation • 8B • Updated Sep 23 • 6 • 1

gpoesia/finetuned_Meta-Llama-3.1-8B_dafnybench-100-peft

Updated Jul 15 • 1

datasets 0

None public yet