4 citations · 10 across the 14 of their papers we have counts for
6 papers · 1 filter
Improving Stochastic Action-Constrained Reinforcement Learning via Truncated Distributions
Roland Stolz, Michael Eichelbeck, Matthias Althoff
In reinforcement learning (RL), it is often advantageous to consider additional constraints on the action space to ensure safety or action relevance. Existing work on such action-c…
Zono-Conformal Prediction: Zonotope-Based Uncertainty Quantification for Regression and Classification Tasks
Laura Lützow, Michael Eichelbeck, Mykel J. Kochenderfer +1
Conformal prediction is a popular uncertainty quantification method that augments a base predictor to return sets of predictions with statistically valid coverage guarantees. Howev…
Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner +2
Despite significant advancements in post-hoc explainability techniques for neural networks, many current methods rely on heuristics and do not provide formally provable guarantees…
PyTupli: A Scalable Infrastructure for Collaborative Offline Reinforcement Learning Projects
Hannah Markgraf, Michael Eichelbeck, Daria Cappey +3
Offline reinforcement learning (RL) has gained traction as a powerful paradigm for learning control policies from pre-collected data, eliminating the need for costly or risky onlin…
Out of the Shadows: Exploring a Latent Space for Neural Network Verification
Lukas Koller, Tobias Ladner, Matthias Althoff
Neural networks are ubiquitous. However, they are often sensitive to small input changes. Hence, to prevent unexpected behavior in safety-critical applications, their formal verifi…
Language Models That Walk the Talk: A Framework for Formal Fairness Certificates
Danqing Chen, Tobias Ladner, Ahmed Rayen Mhadhbi +1
As large language models become integral to high-stakes applications, ensuring their robustness and fairness is critical. Despite their success, large language models remain vulner…