Certified Reasoning with Language Models
Paper
•
2306.04031
•
Published
•
2
Gabriel Poesia
gpoesia
AI & ML interests
mathematical reasoning, language models, program synthesis, formal methods
Recent Activity
updated
a model
20 days ago
gpoesia/finetuned_Meta-Llama-3.1-8B_dafnybench-100-peft
published
a model
20 days ago
gpoesia/finetuned_Meta-Llama-3.1-8B_dafnybench-100-peft
published
a model
21 days ago
metareflection/dafny-annotator
Organizations
authored
a
paper
about 2 years ago