Auguste Poiroux's picture

Auguste Poiroux

PAug

·

augustepoiroux

AI & ML interests

Automated theorem proving

Recent Activity

updated a dataset 25 days ago

PAug/ProofNetSharp

updated a dataset 25 days ago

PAug/ProofNetVerif

updated a dataset 25 days ago

PAug/ProofNetVerif

View all activity

Organizations

Papers 1

arxiv:2406.07222

models

None public yet

datasets 2

PAug/ProofNetSharp

Viewer • Updated 25 days ago • 371 • 72

PAug/ProofNetVerif

Viewer • Updated 25 days ago • 3.75k • 39