arxiv:2306.04031
Gabriel Poesia
gpoesia
AI & ML interests
mathematical reasoning, language models, program synthesis, formal methods
Recent Activity
updated a collection about 2 months ago
formal-disco updated a dataset about 2 months ago
metareflection/formal-disco published a dataset about 2 months ago
metareflection/formal-discoOrganizations
