Gabriel Poesia's picture

Gabriel Poesia

gpoesia

·

https://gpoesia.com

AI & ML interests

mathematical reasoning, language models, program synthesis, formal methods

Organizations

gpoesia 's models 2

gpoesia/dafny-annotator-8B

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

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

Updated Jul 15 • 1