Auguste Poiroux

photo placeholder image

auguste.poiroux@epfl.ch +41 21 693 04 19

+41 21 693 04 19
EPFL > IC > IINFCOM > LARA

Web site:  Web site:  https://lara.epfl.ch

EPFL > ETU > EDOC > EDIC

+41 21 693 04 19
Office:  INR 218
EPFL > IC > IINFCOM > NLP

vCard
Administrative data

Fields of expertise

I am currently working on developing methods for autoformalization. I am also interested in automated theorem proving using LLMs (Large Language Models).