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