Silas: High Performance, Explainable and Verifiable Machine Learning

3 October 2019

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

3 / 3 papers shown

Title
Reasoning Under Threat: Symbolic and Neural Techniques for Cybersecurity Verification Sarah Veronica 91 0 0 27 Mar 2025
Automated Reasoning in Blockchain: Foundations, Applications, and Frontiers Hojer Key LRM 69 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 113 505 0 12 Feb 2020