5 citations · 6 across the 3 of their papers we have counts for
4 papers
Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning
Gelin Zhang, Zhe Hou, Yanhong Huang +4
Ensemble trees are a popular machine learning model which often yields high prediction performance when analysing structured data. Although individual small decision trees are deem…
N-PAT: A Nested Model-Checker
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong +4
N-PAT is a new model-checking tool that supports the verification of nested-models, i.e. models whose behaviour depends on the results of verification tasks. In this paper, we desc…
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.…