Auguste Poiroux

photo placeholder image

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

EPFL IC IINFCOM LARA
INR 318 (Bâtiment INR)
Station 14
1015 Lausanne

+41 21 693 04 19
Office:  BC 355
EPFL > IC > IINFCOM > LARA

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

EPFL > ETU > EDOC > EDIC

EPFL IC IINFCOM LARA
INR 318 (Bâtiment INR)
Station 14
1015 Lausanne

+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).