Auguste Poiroux
EPFL IC IINFCOM LARA
INR 318 (Bâtiment INR)
Station 14
CH-1015 Lausanne
+41 21 693 04 19
Office:
BC 355
EPFL › IC › IINFCOM › LARA
Website: https://lara.epfl.ch
Expertise
I am currently working on developing methods for autoformalization and automated theorem proving using LLMs (Large Language Models).