Gabriel Poesia's picture

Gabriel Poesia

gpoesia

AI & ML interests

mathematical reasoning, language models, program synthesis, formal methods

Organizations

models

None public yet

datasets

None public yet