Abdelmouksit SAGUENI

Overview: Experienced mathematician with a focus on geometric measure theory. Currently working on AI for mathematics and formalization of mathematics at the Lagrange Center(Huawei), Paris.

Please find my CV in English, en Français.
My thesis manuscript is available here, and my defense slides are available here.

My research articles: 

Currently co-authoring research papers on the formalization of mathematics in Lean using LLMs.

During my thesis:

- Approximate mean curvature flows of a general varifold, and their limit spacetime Brakke flow. In collaboration with B. Buet, G-P Leonardi and S. Masnou. Preprint (submitted to: Revista Matemática Iberoamericana)

- On the avoidance principle for codimension 1 spacetime Brakke flows. Preprint 

- Integral Brakke approximate equality for an approximate mean curvature flow . Preprint (submitted to: Advances in Calculus of Variations, De Gruyter)

- Approximations of the mean curvature, and the Buet-Rumpf approximate mean curvature flow. Preprint

Data challenges: 

In my spare time, I work on data challenges from platforms like Kaggle and ChallengeData.ENS,  here are some examples:

• Electricity price forecasting (by Elmy) .

• InsurPrime: Can You Guess the Insurance Premium? (by Credit Agricole Assurances).

• How do you fill in the missing values for customer electricity consumption? (by Enedis).

You can find my solutions on my GitHub page.