Amaury Hayat

31 papers A* 3Journal 27Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
LemmaBench: A Live, Research-Level Benchmark to Evaluate LLM Capabilities in Mathematics.
CoRR
Antoine Peyronnet, Fabian Gloeckle, Amaury Hayat
2026 J jnl
Traffic Flow Reconstruction from Limited Collected Data.
CoRR
Nail Baloul, Amaury Hayat, Thibault Liard, Pierre Lissy
2026 J jnl
WybeCoder: Verified Imperative Code Generation.
CoRR
Fabian Gloeckle, Mantas Baksys, Darius Feher, Kunhao Zheng, Amaury Hayat, Sean B. Holden, Gabriel Synnaeve, Peter W. O'Hearn
2025 J jnl
A novel approach to feedback control with deep reinforcement learning.
Syst. Control. Lett.
Kala Agbo bidi, Jean-Michel Coron, Amaury Hayat, Nathan Lichtlé
2025 J jnl
Boundary stabilization of star-shaped Saint-Venant networks with combined subcritical and supercritical channels.
Syst. Control. Lett.
Amaury Hayat, Yating Hu, Peipei Shang
2025 J jnl
The usefulness of viscosity for the robustness of boundary feedback control of an unstable fluid flow system.
Autom.
Georges Bastin, Jean-Michel Coron, Amaury Hayat
2025 — conf
Traffic Flow Reconstruction from Limited Collected Data.
CDC
Nail Baloul, Amaury Hayat, Thibault Liard, Pierre Lissy
2024 A* conf
Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers.
NeurIPS
Alberto Alfarano, François Charton, Amaury Hayat
2024 J jnl
Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers.
CoRR
Alberto Alfarano, François Charton, Amaury Hayat
2024 J jnl
PI Control for the Cascade Channels Modeled by General Saint-Venant Equations.
IEEE Trans. Autom. Control.
Amaury Hayat, Yating Hu, Peipei Shang
2024 J jnl
Traffic Control via Connected and Automated Vehicles: An Open-Road Field Experiment with 100 CAVs.
CoRR
Jonathan W. Lee, Han Wang, Kathy Jang, Amaury Hayat, Matthew R. Bunting, Arwa Alanqary, William Barbour, Zhe Fu, Xiaoqian Gong, George Gunter, Sharon Hornstein, Abdul Rahman Kreidieh, Nathan Lichtlé, Matthew Walter Nice, William A. Richardson, Adit Shah, Eugene Vinitsky, Fangyu Wu, Shengquan Xiang, Sulaiman Almatrudi, Fahd Althukair, Rahul Bhadani, Joy Carpio, Raphaël Chekroun, Eric Cheng, Maria Teresa Chiri, Fang-Chieh Chou, Ryan Delorenzo, Marsalis T. Gibson, Derek Gloudemans, Anish Gollakota, Junyi Ji, Alexander Keimer, Nour Khoudari, Malaika Mahmood, Mikail Mahmood, Hossein Nick Zinat Matin, Sean T. McQuade, Rabie Ramadan, Daniel Urieli, Xia Wang, Yanbing Wang, Rita Xu, Mengsha Yao, Yiling You, Gergely Zachár, Yibo Zhao, Mostafa Ameli, Mirza Najamuddin Baig, Sarah Bhaskaran, Kenneth Butts, Manasi Gowda, Caroline Janssen, John Lee, Liam Pedersen, Riley Wagner, Zimo Zhang, Chang Zhou, Daniel B. Work, Benjamin Seibold, Jonathan Sprinkle, Benedetto Piccoli, Maria Laura Delle Monache, Alexandre M. Bayen
2023 J jnl
Diffusion and robustness of boundary feedback stabilization of hyperbolic systems.
Math. Control. Signals Syst.
Georges Bastin, Jean-Michel Coron, Amaury Hayat
2023 J jnl
Dissipation of Traffic Jams Using a Single Autonomous Vehicle on a Ring Road.
SIAM J. Appl. Math.
Amaury Hayat, Benedetto Piccoli, Sydney Truong
2023 J jnl
Stability of multi-population traffic flows.
Networks Heterog. Media
Amaury Hayat, Benedetto Piccoli, Shengquan Xiang
2023 J jnl
Traffic smoothing using explicit local controllers.
CoRR
Amaury Hayat, Arwa Alanqary, Rahul Bhadani, Christopher Denaro, Ryan J. Weightman, Shengquan Xiang, Jonathan W. Lee, Matthew R. Bunting, Anish Gollakota, Matthew Walter Nice, Derek Gloudemans, Gergely Zachár, Jon F. Davis, Maria Laura Delle Monache, Benjamin Seibold, Alexandre M. Bayen, Jonathan Sprinkle, Daniel B. Work, Benedetto Piccoli
2022 J jnl
A rigorous multi-population multi-lane hybrid traffic model and its mean-field limit for dissipation of waves via autonomous vehicles.
CoRR
Nicolas Kardous, Amaury Hayat, Sean T. McQuade, Xiaoqian Gong, Sydney Truong, Tinhinane Mezair, Paige Arnold, Ryan Delorenzo, Alexandre M. Bayen, Benedetto Piccoli
2022 A* conf
HyperTree Proof Search for Neural Theorem Proving.
NeurIPS
Guillaume Lample, Timothée Lacroix, Marie-Anne Lachaux, Aurélien Rodriguez, Amaury Hayat, Thibaut Lavril, Gabriel Ebner, Xavier Martinet
2022 J jnl
HyperTree Proof Search for Neural Theorem Proving.
CoRR
Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, Xavier Martinet, Amaury Hayat, Gabriel Ebner, Aurélien Rodriguez, Timothée Lacroix
2022 J jnl
Limitations and Improvements of the Intelligent Driver Model (IDM).
SIAM J. Appl. Dyn. Syst.
Saleh Albeaik, Alexandre M. Bayen, Maria Teresa Chiri, Xiaoqian Gong, Amaury Hayat, Nicolas Kardous, Alexander Keimer, Sean T. McQuade, Benedetto Piccoli, Yiling You
2021 J jnl
A deep language model to predict metabolic network equilibria.
CoRR
François Charton, Amaury Hayat, Sean T. McQuade, Nathaniel J. Merrill, Benedetto Piccoli
2021 J jnl
Boundary stabilization of 1D hyperbolic systems.
Annu. Rev. Control.
Amaury Hayat
2021 J jnl
Feedforward boundary control of 2×2 nonlinear hyperbolic systems with application to Saint-Venant equations.
Eur. J. Control
Georges Bastin, Jean-Michel Coron, Amaury Hayat
2021 J jnl
Global exponential stability and Input-to-State Stability of semilinear hyperbolic systems for the L2 norm.
Syst. Control. Lett.
Amaury Hayat
2021 J jnl
Integrated Framework of Vehicle Dynamics, Instabilities, Energy Models, and Sparse Flow Smoothing Controllers.
CoRR
Jonathan W. Lee, George Gunter, Rabie Ramadan, Sulaiman Almatrudi, Paige Arnold, John Aquino, William Barbour, Rahul Bhadani, Joy Carpio, Fang-Chieh Chou, Marsalis T. Gibson, Xiaoqian Gong, Amaury Hayat, Nour Khoudari, Abdul Rahman Kreidieh, Maya Kumar, Nathan Lichtlé, Sean T. McQuade, Brian Q. Nguyen, Megan Ross, Sydney Truong, Eugene Vinitsky, Yibo Zhao, Jonathan Sprinkle, Benedetto Piccoli, Alexandre M. Bayen, Daniel B. Work, Benjamin Seibold
2021 A* conf
Learning advanced mathematical computations from examples.
ICLR
François Charton, Amaury Hayat, Guillaume Lample
2021 J jnl
Limitations and Improvements of the Intelligent Driver Model (IDM).
CoRR
Saleh Albeaik, Alexandre M. Bayen, Maria Teresa Chiri, Xiaoqian Gong, Amaury Hayat, Nicolas Kardous, Alexander Keimer, Sean T. McQuade, Benedetto Piccoli, Yiling You
2020 J jnl
Deep Differential System Stability - Learning advanced computations from examples.
CoRR
François Charton, Amaury Hayat, Guillaume Lample
2019 J jnl
A quadratic Lyapunov function for Saint-Venant equations with arbitrary friction and space-varying slope.
Autom.
Amaury Hayat, Peipei Shang
2019 J jnl
Boundary Stability of 1-D Nonlinear Inhomogeneous Hyperbolic Systems for the C
SIAM J. Control. Optim.
Amaury Hayat
2019 J jnl
Boundary feedback stabilization of hydraulic jumps.
IFAC J. Syst. Control.
Georges Bastin, Jean-Michel Coron, Amaury Hayat, Peipei Shang
2019 J jnl
PI Controllers for 1-D Nonlinear Transport Equation.
IEEE Trans. Autom. Control.
Jean-Michel Coron, Amaury Hayat