Elamur Research⌕
☰
home / authors / Amaury Hayat

Amaury Hayat

Amaury Hayat has 3 papers in our library, in 2020–2024, most of them on Reasoning; often with François Charton, Guillaume Lample, Aurélien Rodriguez.

3 papers in our library · 2020–2024

OpenAlex · ORCID · Wikidata · h-index 16 · 79 works · 976 citations OpenAlex, 2026-10-14

📄 3 works in our library · 🔗 Cited 134 times in our library · ⭐ Paper Stars ranking: #6883

The profile is the library's match of the name; two people with one name are not always told apart.

Elsewhere: Google Scholar · Semantic Scholar · dblp · ACL Anthology

 Affiliations

🔬CERMICSChamps-sur-Marne · France2018–2026 · 43 paperscurrent🎓École nationale des ponts et chausséesChamps-sur-Marne · France2014–2026 · 36 papersEducation 2014–2016Employment 2019–2023 · Assistant then Associate professor, MathematicsEmployment since 2023 · Professor, Applied Mathematicscurrent🔬Centre National de la Recherche ScientifiqueParis · France2018–2026 · 6 paperscurrent🎓Institut Polytechnique de ParisPalaiseau · France2025–2026 · 4 paperscurrent🔬Korea Institute for Advanced StudySeoul · South Korea2025–2028 · 3 papersEmployment 2025–2028 · Visiting Faculty - Scholarcurrent🎓Rutgers, The State University of New JerseyNew Brunswick · United States2020–2023 · 10 papers🎓Sorbonne UniversitéParis · France2016–2022 · 10 papersEducation 2016–2019🔬Laboratoire Jacques-Louis LionsParis · France2018–2022 · 9 papers🔬CAGE: Contrôle et géométrieParis · France2018–2022 · 6 papers🔬Institut national de recherche en sciences et technologies du numériqueLe Chesnay-Rocquencourt · France2018–2022 · 5 papers

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 14 more institutions on single bylines are not listed.

 Fields, topics and concepts

Of its works in our library, with the number of works on each.

📚 Shelves 11The field of science this work belongs to (OpenAlex fields).Mathematics · 3 worksArtificial Intelligence · 2 worksComputer Science · 2 worksComputational Theory and Mathematics · 1 workEngineering · 1 workControl and Systems Engineering · 1 workGeometry and Topology · 1 workMathematical Physics · 1 workModeling and Simulation · 1 workPhysics and Astronomy · 1 workStatistical and Nonlinear Physics · 1 work

🧭 Topics 1Research subjects and languages the work is about.Reasoning · 2 works

 Works by year

2020s

20241 paper20221 paper20201 paper

 Papers

The most cited first (OpenAlex and our library).

  1. HyperTree Proof Search for Neural Theorem Proving (2022 · 151 citations)
    Automated provers for formal mathematics have to pick tactics from an unbounded space and then close every subgoal a tactic creates.
  2. Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers (2024 · 19 citations)
    Proving that a dynamical system is globally stable usually means finding a Lyapunov function. No general recipe exists for this, and algorithmic tools such as SOSTOOLS only handle small polynomial systems. The authors treat the search as symbolic translation. A sequence-to-sequence transformer reads a system written…
  3. Learning advanced mathematical computations from examples (2020 · 18 citations)
    The paper tests whether a neural network can perform computations that normally depend on advanced mathematical theory, learning only from solved examples.

 Co-authors here

7 co-authors with a page, the most papers together first.

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

 Cited by

Papers of our library cite their works 134 times (of the 149,439 papers whose bibliographies we read); 77 citing papers with a page here →.

Updated

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/amaury-hayat/