Marc Lelarge

Researcher and Part-time Professor · Computer Science

mathematical reasoningAItheorem provingcode automationgraph-based deep learningphysics-informed machine learning

About

I'm a researcher at INRIA and a part-time professor at école normale supérieure. I study the intersection of mathematical reasoning and AI, with interests in theorem proving, code automation, graph-based deep learning, and physics-informed machine learning.

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.