I'm a researcher at INRIA and a part-time professor at école normale supérieure. Here are my academic CV, a short bio and my linkedin profile

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.

Here is my deep learning course.

I tweet about math and AI @marc_lelarge.