Silas: A high-performance machine learning foundation for logical reasoning and verification

作者：

Highlights：

• High-performance computing speeds up decision trees while consuming less memory.

• Ensembled decision trees are explainable with a maximum satisfiability solver.

• Ensembled decision trees can be verified against user specifications.

摘要

•High-performance computing speeds up decision trees while consuming less memory.•Ensembled decision trees are explainable with a maximum satisfiability solver.•Ensembled decision trees can be verified against user specifications.

论文关键词：High-performance machine learning,Ensemble trees,Explainable artificial intelligence,Logical reasoning

论文评审过程：Received 17 April 2020, Revised 29 December 2020, Accepted 28 February 2021, Available online 8 March 2021, Version of Record 5 April 2021.

论文官网地址：https://doi.org/10.1016/j.eswa.2021.114806