Hugging Face's logo
Auguste Poiroux's picture

Auguste Poiroux

PAug
Syrielle's profile picture angelika's profile picture
·

AI & ML interests

Automated theorem proving

Organizations

AIMO-EPFL's profile picture EPFL NLP Lab's profile picture