Hayat, Amaury

7 publications

NeurIPSW 2024 ABEL: Sample Efficient Online Reinforcement Learning for Neural Theorem Proving Fabian Gloeckle, Jannis Limperg, Gabriel Synnaeve, Amaury Hayat

NeurIPS 2024 Global Lyapunov Functions: A Long-Standing Open Problem in Mathematics, with Symbolic Transformers Alberto Alfarano, François Charton, Amaury Hayat

NeurIPSW 2023 Discovering Lyapunov Functions with Transformers Alberto Alfarano, Francois Charton, Amaury Hayat

NeurIPSW 2023 Reinforcement Learning in Control Theory: A New Approach to Mathematical Problem Solving Kala Agbo Bidi, Jean-Michel Coron, Amaury Hayat, Nathan Lichtlé

NeurIPSW 2023 Temperature-Scaled Large Language Models for Lean Proofstep Prediction Fabian Gloeckle, Baptiste Roziere, Amaury Hayat, Gabriel Synnaeve

NeurIPS 2022 HyperTree Proof Search for Neural Theorem Proving Guillaume Lample, Timothee Lacroix, Marie-Anne Lachaux, Aurelien Rodriguez, Amaury Hayat, Thibaut Lavril, Gabriel Ebner, Xavier Martinet

ICLR 2021 Learning Advanced Mathematical Computations from Examples Francois Charton, Amaury Hayat, Guillaume Lample