Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Auguste Poiroux
PAug
Follow
Syrielle's profile picture
1 follower
·
1 following
augustepoiroux
AI & ML interests
Automated theorem proving
Organizations
Papers
1
arxiv:
2406.07222
models
0
None public yet
datasets
2
Sort: Recently updated
PAug/ProofNetSharp
Viewer
•
Updated
Mar 24, 2025
•
371
•
35
•
8
PAug/ProofNetVerif
Viewer
•
Updated
Mar 24, 2025
•
3.75k
•
127
•
1
