Research
At the moment, I'm mostly interested in algebraic geometry, the maths of machine learning and formal mathematics.
At the moment, I'm mostly interested in algebraic geometry, the maths of machine learning and formal mathematics.
Papers
Papers
Tropical Expressivity of Neural Networks. In collaboration with Shiv Bhatia, Yueqi Cao and Anthea Monod. Preprint.
Other projects and work in progress
Other projects and work in progress
Projects
Projects
A Geometric Perspective on Adversarial Robustness in Deep Learning. In collaboration with Martin Lotz. Publication currently in preparation.
Non-archimedean machine learning. In collaboration with Anthea Monod, Yiannis Fam and Yue Ren. Publication currently in preparation.
Stacks in Lean (joint with Calle Sönne)
GitHub repository
The Polynomial Freiman-Ruzsa Conjecture (led by Terrence Tao, see the repository for a full list of participants).
GitHub repository Article about the PFR proof
The Kummer-Dedekind theorem, under the supervision of Damiano Testa.
Code now in mathlib4