Tropical Expressivity of Neural Networks. In collaboration with Shiv Bhatia, Yueqi Cao and Anthea Monod. Preprint.
AlphaProof (see blog post for full list of contributors)
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 (formal mathematics project led by Terrence Tao, see the repository for a full list of participants).
GitHub repository Article about the PFR proof
The Kummer-Dedekind theorem in Lean, under the supervision of Damiano Testa.
Code now in mathlib4