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

My research centers on generative AI for coding and interactive theorem proving, as well as deep learning for graphs and structured data.

Here is my deep learning course.

I tweet about math and AI @marc_lelarge.