Introduction au Domaine de Recherche
Théorie géométrique des modèles, 2021.
PDFRecherche
Je me concentre actuellement sur la vérification zero-knowledge de l'entraînement des IA frontière. Mes autres axes de recherche sont pour l'instant en pause ou de priorité plus basse.
Priorité actuelle
Je travaille sur des primitives techniques de vérification pour l'entraînement des IA frontière : rendre vérifiables des affirmations sur de grands entraînements tout en préservant la confidentialité. Ce sujet relie preuves cryptographiques, entraînement distribué, observations réseau et matériel, et gouvernance de l'IA.
Je travaille de près avec le programme de vérification du GPAI Policy Lab et avec le groupe de contributeurs indiqué sur cette page, notamment Pierre Peigné, Ky Nguyen, Tom David, Emeric Bergmann et Dimitris Kolonelos.
Prépublications
-
Zero knowledge verification for frontier AI training is possible
Avec Pierre Peigné et Ky Nguyen.
-
The Evaluation Game: Beyond Static LLM Benchmarking
Avec Garcia-Bourrée, Kermarrec et 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
Avec Dicle Mutlu.
Publications et articles acceptés
-
On groups and fields interpretable in NTP2 fields
Accepté à Transactions of the American Mathematical Society. Prépublication mise en ligne en 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
Avec Ehud Hrushovski et 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.
Exposés
-
On distance-dependent jailbreak refusal training
Séminaire de l'équipe Systèmes Multi-Agents, Sorbonne Université.
-
Gluing explanations in projective interpretability
Séminaire de l'équipe Systèmes Multi-Agents, Sorbonne Université.
-
Presheaves of explanations on categories of systems
Workshop Coalgebraic Methods in Computer Science, Turin.
-
Synthetic probability theory: an axiomatic approach to nondeterminism
Séminaire Général de Logique, Université Paris-Cité.
Notes
Manuscrit de thèse
Variations on the group configuration, ENS-PSL, 2025.
HAL: tel-05419277CV
CV actuel, juillet 2026.
PDF