5 citations · 10 across the 3 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2021★ 3 cited
Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features
Nicolas Berthier, Amany Alshareef, James Sharp +2
Intensive research has been conducted on the verification and validation of deep neural networks (DNNs), aiming to understand if, and how, DNNs can be applied to safety critical ap…
cs.LG2020
A Safety Framework for Critical Systems Utilising Deep Neural Networks
Xingyu Zhao, Alec Banks, James Sharp +4
Increasingly sophisticated mathematical modelling processes from Machine Learning are being used to analyse complex data. However, the performance and explainability of these model…