Auguste Poiroux's picture

Auguste Poiroux

PAug

·

augustepoiroux

AI & ML interests

Automated theorem proving

Organizations

PAug 's datasets 2

PAug/ProofNetSharp

Viewer • Updated Mar 24 • 371 • 66 • 3

PAug/ProofNetVerif

Viewer • Updated Mar 24 • 3.75k • 46