ResearchTrend.AI
Silas: High Performance, Explainable and Verifiable Machine Learning

Silas: High Performance, Explainable and Verifiable Machine Learning

Hadrien Bride
Zhe Hou
Jie Dong
J. Dong
Seyedali Mirjalili
ArXiv (abs)PDFHTML

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
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
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
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