Auguste Poiroux

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

vCard

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

Site web: https://lara.epfl.ch

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

EPFL › ETU › EDOC › EDIC

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

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

Expertise

Je travaille actuellement sur le développement de méthodes pour l'autoformalisation. Je suis également intéressé par l'automatisation de preuve via l'utilisation de LLMs (Large Language Models).