Improving Autoformalization using Type Checking
Paper
•
2406.07222
•
Published
Auguste Poiroux
PAug
·
AI & ML interests
Automated theorem proving
Organizations
authored
a
paper
7 months ago