Scholar
Amaury Hayat
Google Scholar ID: 0Zx6u9cAAAAJ
Professor, Ecole des Ponts Paristech, CERMICS
Control Theory
Partial Differential Equations
AI for maths
Traffic flows
Optical forces
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,407
H-index
21
i10-index
29
Publications
20
Co-authors
16
list available
Publications
6 items
Learning to Discover Interesting Mathematics
2026
Cited
0
Formalizing Mathematics at Scale
2026
Cited
0
Automatic Textbook Formalization
2026
Cited
0
WybeCoder: Verified Imperative Code Generation
2026
Cited
0
LemmaBench: A Live, Research-Level Benchmark to Evaluate LLM Capabilities in Mathematics
2026
Cited
0
Traffic Flow Reconstruction from Limited Collected Data
IEEE Conference on Decision and Control · 2025
Cited
0
Co-authors
6 total
Benedetto Piccoli
Department of Mathematical Sciences and Center for Computational and Integrative Biology, Rutgers
Alexandre Bayen
Professor Electrical Engineering and Computer Science, UC Berkeley
Guillaume Lample
Mistral AI
Francois Charton
Member of technical staff, Axiom Math
Federico Capasso
Harvard University
Thibault Liard
Associate professor (Maître de conférences) at Xlim, University of Limoges
