Scholar

Amaury Hayat

Google Scholar ID: 0Zx6u9cAAAAJ

Professor, Ecole des Ponts Paristech, CERMICS

Control TheoryPartial Differential EquationsAI for mathsTraffic flowsOptical forces

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

1,407

H-index

21

i10-index

29

Publications

20

Co-authors

16

list available

Contact

No contact links provided.

Publications

4 items

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

Resume (English only)

Co-authors

16 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