Marc Lelarge

Researcher and Part-time Professor · Computer Science

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

简介

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.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。