Frederik Baymler Mathiesen
2 papers · 2022–2026 · 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 · Silver
Top co-authors
Research topics
Artificial Intelligence
(1)
Deep Learning
(1)
Knowledge & Reasoning
(1)
Machine Learning
(1)
Mathematics & Optimization
(1)
Robotics
(1)
Architectures
(1)
Core AI
(1)
Mathematics
(1)
Optimization
(1)
Optimization & Theory · Machine Learning
(1)
Optimization & Theory · Deep Learning
(1)
Reasoning
(1)
Systems
(1)
Keywords
dynamical system
(1)
neural network solver
(1)
neural network verification
(1)
control barrier function
(1)
symplectic integrator
(1)
neural network
(1)
hamiltonian system
(1)
symplectic solver
(1)
velocity verlet
(1)
safety certification
(1)
linear bound propagation
(1)
numerical simulation
(1)
mccormick relaxation
(1)