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 almost 3 years ago