Auguste Poiroux
EPFL IC IINFCOM LARA
INR 318 (Bâtiment INR)
Station 14
1015 Lausanne
Web site: Site web: https://lara.epfl.ch
Domaines de compétences
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).