ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1910.01382
  4. Cited By
Silas: High Performance, Explainable and Verifiable Machine Learning

Silas: High Performance, Explainable and Verifiable Machine Learning

3 October 2019
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
1