THEOREM

Theory for more efficient generative models

Preview

Towards a better understanding of generative models in order to guide their adjustment, specialization, and fairness, thanks to a unified mathematical framework based on stochastic optimal control.

Alain Oliviero Durmus, Professor, Ecole polytechnique

Generative models have transformed the generation of images, texts, and scientific structures, but their design often remains empirical and difficult to control.
The THEOREM project proposes to “start from scratch” by developing a unified mathematical framework to explain what makes these models perform well and what causes them to fail (instability, bias, memorization, lack of robustness).
The goal is to translate practical recipes (schedules, time steps, choice of objectives) into design principles, with guarantees of stability and accuracy.
The project also aims to better understand how to adapt a model to a task or domain (specialization), while monitoring reliability and fairness.
Finally, the goal is to move from “artisanal” generative AI to more auditable and accountable generative AI.

Keywords: generative models, diffusion models, normalizing flows, energy-based models, stochastic optimal control, stability, convergence, fine-tuning, specialization, robustness, fairness, uncertainty, bias, AI for science.

Missions

Our researches


Unify generative models in a common language

Propose a theoretical framework that links diffusion and flows via a stochastic optimal control formulation, in order to compare, explain, and combine approaches in a consistent manner.


Transforming heuristics into a method

Derive design rules for key choices (training objectives, schedules, discretization, solvers) and establish practical criteria to guide fine-tuning.


Ensuring and diagnosing reliability

Develop analytical tools and safeguards (stability, errors, sensitivity) to understand when a model goes off track, why, and how to correct it in a robust manner.


Making specialization safer and more effective

Study specialization strategies (adaptation to a domain, a type of data, a physical constraint) while controlling generalization, uncertainty, and the risks of overfitting/memorization.


Putting equity at the heart of generative engineering

Analyze how biases arise and propagate in training and sampling, and propose regularization/diagnostic mechanisms to improve fairness without sacrificing quality.

Consortium

Université Clermont Auvergne, Université Paris Dauphine, Ecole Polytechnique de Paris

Publication


Autres projets

 Géné-Pi
Géné-Pi
Mathematics of generative models
Voir plus
 MacLeOD
MacLeOD
Machine learning on geometries and distributions
Voir plus
 MadLearning
MadLearning
Deep Learning Mathematics: From Theory to Applications
Voir plus
 MAGICALL
MAGICALL
Mathematics of generative models: an interdisciplinary analysis of loss function landscapes
Voir plus
 PERSNET
PERSNET
PERsistent Structures in Neural NETworks
Voir plus
 PRODIGE-AI
PRODIGE-AI
PRObability, ranDom matrIx theory, Geometry and gEneralization for generative-AI
Voir plus
 TENSOR4ML
TENSOR4ML
TENSOR methods FOR mastering modern Machine Learning
Voir plus
 Call for chairs Attractivités
Call for chairs Attractivités
The PEPR IA Research Program is opening its Call for Chairs Attractivité, aimed at junior and senior researchers, with the main criterion being an excellent track record in research in the PEPR IA themes.
Voir plus
 NNawaQ
NNawaQ
NNawaQ, Neural Network Adequate Hardware Architecture for Quantization (HOLIGRAIL project)
Voir plus
 Package Python Keops
Package Python Keops
Package Python Keops for (very) high-dimensional tensor calculations (PDE-AI project)
Voir plus
 MPTorch
MPTorch
MPTorch, a PyTorch-based framework for simulating and emulating custom precision DNN training (HOLIGRAIL project)
Voir plus
 CaBRNeT
CaBRNeT
CaBRNeT, a library for developing and evaluating Case-Based Reasoning Models (SAIF project)
Voir plus
 FloPoCo
FloPoCo
FloPoCo (Floating-Point Cores), a generator of arithmetic cores and its applications to IA accelerators (HOLIGRAIL project)
Voir plus
 SNN Software
SNN Software
SNN Software, Open Source Tools for SNN Design (EMERGENCES project)
Voir plus
 SDOT
SDOT
SDOT, A C++ and Python library for Semi-Discrete Optimal Transport (PDE-AI project)
Voir plus
 Lazylinop
Lazylinop
Lazylinop (Lazy Linear Operator), a high-level linear operator based on an arbitrary underlying implementation, (SHARP project)
Voir plus
 CAISAR
CAISAR
CAISAR, a platform for characterizing artificial intelligence safety and robustness
Voir plus
 P16
P16
P16 or to develop, distribute and maintain a set of sovereign libraries for AI
Voir plus
 AIDGE
AIDGE
AIDGE, the DEEPGREEN project's open embedded development platform
Voir plus
 Jean-Zay
Jean-Zay
Jean Zay or the national infrastructure for the AI research community
Voir plus
 ADAPTING
ADAPTING
An approach that goes further than current hardware architectures, with the aim of reaching the next generation of AI applications.
Voir plus
 CEA AI Rising Talents Grant
CEA AI Rising Talents Grant
The CEA AI Rising Talents program offers you a tremendous opportunity to bring your ideas to life and lead your own research project for the benefit of industry and society.
Voir plus
 CAUSALI-T-AI
CAUSALI-T-AI
When causality and AI teams up to enhance interpretability and robustness of AI algorithms
Voir plus
 EMERGENCES
EMERGENCES
Near-physics emerging models for embedded AI
Voir plus
 FOUNDRY
FOUNDRY
The foundations of robustness and reliability in artificial intelligence
Voir plus
 HOLIGRAIL
HOLIGRAIL
Hollistic approaches to greener model architectures for inference and learning
Voir plus
 PDE-AI
PDE-AI
Numerical analysis, optimal control and optimal transport for AI / "New architectures for machine learning".
Voir plus
 REDEEM
REDEEM
Resilient, decentralized and privacy-preserving machine learning
Voir plus
 SAIF
SAIF
Safe AI through formal methods
Voir plus
 SHARP
SHARP
Sharp theoretical and algorithmic principles for frugal ML
Voir plus