arxiv:2306.04031
Gabriel Poesia
gpoesia
ยท
AI & ML interests
mathematical reasoning, language models, program synthesis, formal methods
Organizations
Papers
1
models
None public yet
datasets
None public yet