Auguste Alain Lucien Poiroux
+41 21 693 04 19
EPFL
>
IC
>
IINFCOM
>
LARA
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).