Improving Autoformalization using Type Checking
Paper
•
2406.07222
•
Published
Auguste Poiroux
PAug
AI & ML interests
Automated theorem proving
Recent Activity
authored
a paper
about 1 month ago
Improving Autoformalization using Type Checking
updated
a dataset
about 1 month ago
PAug/ProofNetVerif
updated
a dataset
about 1 month ago
PAug/ProofNetSharp
Organizations
PAug's activity
authored
a
paper
about 1 month ago
updated
2
datasets
about 1 month ago
published
2
datasets
about 1 month ago
updated
2
datasets
about 1 month ago