Profile picture

Auguste Poiroux

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

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

EPFLETUEDOCEDIC

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

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