Deep Learning DIY
Machine Learning for Scientific Discovery (M1 -ENS)
Machine Learning (M2 ICFP)
LLM for code and proof (M2 IASD -MVA)
