research
∙
07/12/2023
Stability Guarantees for Feature Attributions with Multiplicative Smoothing
Explanation methods for machine learning models tend to not provide any ...
share
research
∙
06/07/2022
Parametric Chordal Sparsity for SDP-based Neural Network Verification
Many future technologies rely on neural networks, but verifying the corr...
research
∙
11/20/2020
