29 citations · 58 across the 10 of their papers we have counts for
5 papers · 1 filter
There is Limited Correlation between Coverage and Robustness for Deep Neural Networks
Yizhen Dong, Peixin Zhang, Jingyi Wang +7
Deep neural networks (DNN) are increasingly applied in safety-critical systems, e.g., for face recognition, autonomous car control and malware detection. It is also shown that DNNs…
Silas: High Performance, Explainable and Verifiable Machine Learning
Hadrien Bride, Zhe Hou, Jie Dong +2
This paper introduces a new classification tool named Silas, which is built to provide a more transparent and dependable data analytics service. A focus of Silas is on providing a…
GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems
Hadrien Bride, Jin Song Dong, Ryan Green +3
While AI techniques have found many successful applications in autonomous systems, many of them permit behaviours that are difficult to interpret and may lead to uncertain results.…
Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction
Guoliang Dong, Jingyi Wang, Jun Sun +5
Neural networks are becoming a popular tool for solving many real-world problems such as object recognition and machine translation, thanks to its exceptional performance as an end…
A formalisation of the SPARC TSO memory model for multi-core machine code
Zhe Hou, David Sanan, Alwen Tiu +2
SPARC processors have many applications in mission-critical industries such as aviation and space engineering. Hence, it is important to provide formal frameworks that facilitate t…