Certified Reasoning with Language Models
Paper
•
2306.04031
•
Published
•
3
Gabriel Poesia
gpoesia
AI & ML interests
mathematical reasoning, language models, program synthesis, formal methods
Organizations
authored
a
paper
over 2 years ago