Projects

Most of these projects were done during my Master's at ENS Paris-Saclay. Some of my older projects are available on Github.

Synthetic Data Generation With A Proof Assistant For Training Large Language Models

Master’s thesis
A meta-programming framework in Lean for synthetic data generation through forward reasoning.

Academic project
Data challenge mixing natural language processing and graph neural networks.

Academic project
Implementation of a changepoint detection method.

Academic project
Data challenge on market data with a distribution shift.

Academic project
An implementation of an EM algorithm for the Stochastic Block Model.

Academic project
Data challenge on medical image classification.