Amaury Hayat

Identifiers

• name variant Amaury Hayat 0.60 · backfill

Papers (8)

1. Formalizing Mathematics at Scale cs.AI · 2026 · author #4
2. Quantitative Fredholm backstepping and rapid stabilization math.OC · 2026 · author #2
3. Global boundary stabilization of 1d systems of scalar conservation laws math.AP · 2026 · author #3
4. Automatic Textbook Formalization cs.AI · 2026 · author #7
5. WybeCoder: Verified Imperative Code Generation cs.SE · 2026 · author #5
6. F-equivalence for parabolic systems and applications to the stabilization of nonlinear PDE math.AP · 2025 · author #2
7. Exponential stability of general 1-D quasilinear systems with source terms for the $C^1$ norm under boundary conditions math.AP · 2018 · author #1
8. Lateral Chirality-sorting Optical Spin Forces in Evanescent Fields physics.optics · 2014 · author #1

Mentions

• 1408.2268 #1 · backfill · confidence 0.70 Amaury Hayat
• 2605.29955 #4 · arxiv_oai · confidence 0.70 Amaury Hayat
• 2605.17941 #2 · arxiv_oai · confidence 0.70 Amaury Hayat

Frequent Coauthors

• Fabian Gloeckle 3 shared papers
• Ahmad Rammal 2 shared papers
• Charles Arnal 2 shared papers
• Gabriel Synnaeve 2 shared papers
• Remi Munos 2 shared papers
• Vivien Cabannes 2 shared papers
• Christophe Zhang 1 shared papers
• Darius Feher 1 shared papers
• Federico Capasso 1 shared papers
• Georges Bastin 1 shared papers
• Jean-Michel Coron 1 shared papers
• J. P. Balthasar M\"uller 1 shared papers
• Julia Kempe 1 shared papers
• Kunhao Zheng 1 shared papers
• Ludovick Gagnon 1 shared papers
• Mantas Baksys 1 shared papers
• Niket Patel 1 shared papers
• Peter O'Hearn 1 shared papers
• Sean B. Holden 1 shared papers
• Shengquan Xiang 1 shared papers