Silas: High Performance, Explainable and Verifiable Machine Learning

3 October 2019

Papers citing "Silas: High Performance, Explainable and Verifiable Machine Learning"

4 / 4 papers shown

Title
Reasoning Under Threat: Symbolic and Neural Techniques for Cybersecurity Verification Sarah Veronica 39 0 0 27 Mar 2025
Automated Reasoning in Blockchain: Foundations, Applications, and Frontiers Hojer Key LRM 31 0 0 26 Mar 2025
Machine Learning in Python: Main developments and technology trends in data science, machine learning, and artificial intelligence S. Raschka Joshua Patterson Corey J. Nolet AI4CE 24 484 0 12 Feb 2020
ranger: A Fast Implementation of Random Forests for High Dimensional Data in C++ and R Marvin N. Wright A. Ziegler 95 2,735 0 18 Aug 2015