arxiv:2306.04031
Gabriel Poesia
gpoesia
AI & ML interests
mathematical reasoning, language models, program synthesis, formal methods
Recent Activity
updated
a dataset about 16 hours ago
metareflection/dafny-disco published
a dataset about 16 hours ago
metareflection/dafny-disco updated
a model 5 months ago
gpoesia/dafny-annotator-8B Organizations
