When to trust AI: advances and challenges for certification of neural networks
Artificial intelligence (AI) has been advancing at a fast pace and it is now poised for
deployment in a wide range of applications, such as autonomous systems, medical …
deployment in a wide range of applications, such as autonomous systems, medical …
Certified quantization strategy synthesis for neural networks
Quantization plays an important role in deploying neural networks on embedded, real-time
systems with limited computing and storage resources (eg, edge devices). It significantly …
systems with limited computing and storage resources (eg, edge devices). It significantly …
A Unified Framework for Probabilistic Verification of AI Systems via Weighted Model Integration
The probabilistic formal verification (PFV) of AI systems is in its infancy. So far, approaches
have been limited to ad-hoc algorithms for specific classes of models and/or properties. We …
have been limited to ad-hoc algorithms for specific classes of models and/or properties. We …
Tractable probabilistic models for causal learning and reasoning
B Wang - 2023 - ora.ox.ac.uk
This thesis examines the application of tractable probabilistic modelling principles to causal
learning and reasoning. Tractable probabilistic modelling is a promising paradigm that has …
learning and reasoning. Tractable probabilistic modelling is a promising paradigm that has …