Introduction au Domaine de Recherche
Théorie géométrique des modèles, 2021.
PDFResearch
I am currently focused on zero-knowledge verification for frontier AI training. Other research threads are mostly on hold or lower priority while this programme is active.
Current Focus
I work on technical verification primitives for frontier AI training: ways to make claims about large training runs checkable while preserving confidentiality. This line connects cryptographic proof systems, distributed training, hardware/network observations, and AI governance.
I am working closely with the GPAI Policy Lab verification programme and with the contributor group listed on that page, including Pierre Peigné, Ky Nguyen, Tom David, Emeric Bergmann, and Dimitris Kolonelos.
Preprints
-
Zero knowledge verification for frontier AI training is possible
With Pierre Peigné and Ky Nguyen.
-
The Evaluation Game: Beyond Static LLM Benchmarking
With Garcia-Bourrée, Kermarrec, and Corruble.
-
Separation and Gluing of Explanations on Sites of Dynamical Systems
-
Markov Categories of Definable Kernels and Relations
-
Nondeterministic Behaviours in Double Categorical Systems Theory
-
Residually Dominated Groups in Henselian Valued Fields of Equicharacteristic Zero
With Dicle Mutlu.
Publications and Accepted Papers
-
On groups and fields interpretable in NTP2 fields
Accepted at Transactions of the American Mathematical Society. Preprint first posted in 2024.
-
The group configuration theorem for generically stable types
Journal of Symbolic Logic, Volume 90, Issue 2.
-
Corrigendum to the article Valued fields, metastable groups
With Ehud Hrushovski and Silvain Rideau-Kikuchi. Selecta Mathematica, New Series 25, 47 (2019).
-
Extending Hrushovski's groupoid-cover correspondence using simplicial groupoids
Annals of Pure and Applied Logic, Volume 172, Issue 7.
Talks
-
On distance-dependent jailbreak refusal training
Multi-Agent Systems team seminar, Sorbonne University.
-
Gluing explanations in projective interpretability
Multi-Agent Systems team seminar, Sorbonne University.
-
Presheaves of explanations on categories of systems
Coalgebraic Methods in Computer Science workshop, Turin.
-
Nondeterministic behaviours in categorical systems theory
Category Theory Octoberfest, online.
-
Synthetic probability theory: an axiomatic approach to nondeterminism
General logic seminar, Université Paris-Cité.
-
Earlier talks
Model Theory and Groups seminar, Hebrew University logic seminar, Geomod final conference, ENS doctoral colloquium, ENS algebra and geometry seminars.
Notes
PhD manuscript
Variations on the group configuration, ENS-PSL, 2025.
HAL: tel-05419277CV
Current CV, July 2026.
PDF