Amaury Hayat
3 papers
· 2021–2024
· 2 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(2)
π
Cross-Pollinator
(13)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(11)
Conferences
NIPS (2)
ICLR (1)
Top co-authors
Research topics
Keywords
reinforcement learning
(1)
mathematical reasoning
(1)
automated reasoning
(1)
lyapunov function
(1)
dynamical system
(1)
global stability
(1)
proof search
(1)
automated theorem proving
(1)
neural theorem proving
(1)
polynomial system
(1)
symbolic transformer
(1)
synthetic training
(1)
online training
(1)
sequence-to-sequence transformer
(1)
neural network
(1)