arxiv:2406.07222
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
Papers
1
models
None public yet