research
∙
03/03/2021
Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning
Ensemble trees are a popular machine learning model which often yields h...
share
research
∙
05/12/2020
N-PAT: A Nested Model-Checker
N-PAT is a new model-checking tool that supports the verification of nes...
research
∙
10/03/2019
Silas: High Performance, Explainable and Verifiable Machine Learning
This paper introduces a new classification tool named Silas, which is bu...
research
∙
10/03/2019
