Matthias Althoff
6 papers · 2024–2026 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🧭 Keyword Pioneer 🌍 Conference Polyglot (5) 🐝 Cross-Pollinator (6) 🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge
🗺️
Taxonomy Completionist
(13)
Conferences
AAAI (2)
CORL (1)
ICML (1)
JMLR (1)
NIPS (1)
Top co-authors
Keywords
policy gradient
(2)
conformal prediction
(1)
uncertainty quantification
(1)
formal verification
(1)
entropy estimation
(1)
continuous action space
(1)
neural network verification
(1)
proximal policy optimization
(1)
action masking
(1)
control task
(1)
action space
(1)
coverage guarantee
(1)
stochastic policy
(1)
polynomial zonotope
(1)
formal neural network verification
(1)
order reduction
(1)
zonotope enclosure
(1)
continuous action masking
(1)
truncated distribution
(1)
action-constrained reinforcement learning
(1)
Papers
Improving Stochastic Action-Constrained Reinforcement Learning via Truncated Distributions
AAAI 2026
Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
ICML 2025
Zono-Conformal Prediction: Zonotope-Based Uncertainty Quantification for Regression and Classification Tasks
JMLR 2025
Excluding the Irrelevant: Focusing Reinforcement Learning through Continuous Action Masking
NIPS 2024
Text2Interaction: Establishing Safe and Preferable Human-Robot Interaction
CORL 2024
Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification
AAAI 2024