Amaury Hayat
3 papers · 2021–2024 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Bronze
🗺️
Taxonomy Completionist
(12)
Venues
Top co-authors
Research topics
Artificial Intelligence
(3)
Deep Learning
(3)
Machine Learning
(3)
Core Methods
(3)
Architectures
(2)
Core AI
(2)
Learning Types · Machine Learning
(2)
Computer Science
(1)
Mathematics & Optimization
(1)
Applications
(1)
Learning Paradigms
(1)
Learning Types · Deep Learning
(1)
Mathematics
(1)
Optimization
(1)
Optimization & Theory
(1)
Keywords
neural network
(2)
representation learning
(1)
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)
mathematical computation
(1)
transformer architecture
(1)
differential system
(1)