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

Hadrien Bride, Cheng-Hao Cai, Jie Dong, Jin Song Dong, Zhé Hóu, Seyedali Mirjalili, Jing Sun

Abstract: 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.