Matthias Althoff
6 papers · 2024–2026 · 5 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 · Silver
🌉
Interdisciplinary Bridge · Bronze
🗺️
Taxonomy Completionist
(17)
Venues
Top co-authors
Research topics
Artificial Intelligence
(5)
Core AI
(5)
Machine Learning
(4)
Deep Learning
(2)
Reinforcement Learning
(2)
Methods
(2)
Optimization & Theory · Machine Learning
(2)
Knowledge & Reasoning
(1)
Application Areas
(1)
Applications
(1)
Architectures
(1)
Core Methods
(1)
Learning Types
(1)
Optimization & Theory · Deep Learning
(1)
Reasoning
(1)
Keywords
policy gradient
(2)
neural network verification
(2)
uncertainty quantification
(1)
formal verification
(1)
abstraction
(1)
entropy estimation
(1)
continuous action space
(1)
proximal policy optimization
(1)
action masking
(1)
control task
(1)
action space
(1)
human preference
(1)
coverage guarantee
(1)
sufficient explanation
(1)
stochastic policy
(1)
large language model
(1)
polynomial zonotope
(1)
formal neural network verification
(1)
order reduction
(1)
zonotope enclosure
(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
NeurIPS 2024
Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification
AAAI 2024
Text2Interaction: Establishing Safe and Preferable Human-Robot Interaction
CoRL 2024