research
∙
05/05/2023
On Preimage Approximation for Neural Networks
Neural network verification mainly focuses on local robustness propertie...
share
research
∙
04/17/2023
Compositional Probabilistic and Causal Inference using Tractable Circuit Models
Probabilistic circuits (PCs) are a class of tractable probabilistic mode...
research
∙
11/28/2022
Bayesian Network Models of Causal Interventions in Healthcare Decision Making: Literature Review and Software Evaluation
This report summarises the outcomes of a systematic literature search to...
research
∙
05/11/2022
Robustness Guarantees for Credal Bayesian Networks via Constraint Relaxation over Probabilistic Circuits
In many domains, worst-case guarantees on the performance (e.g., predict...
research
∙
04/29/2022
Tractable Uncertainty for Structure Learning
Bayesian structure learning allows one to capture uncertainty over the c...
research
∙
05/19/2021
Provable Guarantees on the Robustness of Decision Rules to Causal Interventions
Robustness of decision rules to shifts in the data-generating process is...
research
∙
10/01/2020
Assessing Robustness of Text Classification through Maximal Safe Radius Computation
Neural network NLP models are vulnerable to small modifications of the i...
research
∙
12/10/2019
