Auguste Poiroux

Auguste Poiroux is a Researcher at École Polytechnique Fédérale de Lausanne (EPFL), affiliated with the College of Computer and Communication Sciences and the Automated Analysis and Reasoning Laboratory (LARA). He is also associated with the Natural Language Processing Laboratory (NLP).

• Role: Doctoral Assistant
• Location: INR 318, Station 14, Lausanne

His research focuses on self-formalization and proof automation using Large Language Models (LLMs). No scientific awards or publications were explicitly mentioned in the provided text.