Une clarification de mon intervention sur France Inter, en français et en anglais.

With any convex function F on a finite-dimensional linear space X such that F goes to infinity at infinity, we associate a Borel measure on the dual space X*. This measure is obtained by pushing forwa...

Slide for an introduction talk on IA for maths.

Dans un précédent billet, j'avais essayé un outil d'IA générative sur un commentaire historique. Passons maintenant à un énoncé de concours particulièrement difficile.

Julia Kempe and I have just completed a Lean 4 formalization of De Giorgi--Nash--Moser theory. We formalized the full slate of interior regularity statements for weak solutions of divergence-form elli...

Gradient normalization is central in deep-learning optimization because it stabilizes training and reduces sensitivity to scale. For deep architectures, parameters are naturally grouped into matrices ...

scPRINT is a cell foundation model, also called a Large Cell Model (LCM), trained on single-cell RNA sequence (scRNAseq) data from more than 50M human and mouse cells available through CZ CELLxGENE. Based on the transformer architecture, the model is fully open source and reproducible, with multiple checkpoint sizes available from 2M to 100M parameters. scPRINT demonstrated high performance for genome-wide cell-specific gene network inference when benchmarked against state-of-the-art models (e.g., scGPT, Geneformer v2, GENIE3). In addition, scPRINT has various zero-shot capabilities, including cell embedding, cell label prediction (e.g., cell type, sex, disease), and gene expression imputation, highlighting its potential as a versatile tool for single-cell analysis.

Optimal Transport is a foundational mathematical theory that connects optimization, partial differential equations, and probability. It offers a powerful framework for comparing probability distributi...

Graduate Summer School - EPFL - Sept. 1-5, 2025

Pour les journées scientifiques organisées en 2025 : les inscriptions seront ouvertes à partir de mi-janvier et les demandes de prise en charge de missions seront traitées à partir du 27 janvier. En r...