Silas
0.8.8

Contents:

  • Introducing Silas
  • Downloads
  • Installation and Setup
  • Tutorials
  • Silas Machine Learning
  • Silas Model Insight
  • Command Index
  • Technical Papers
    • Slides
    • Short Papers
    • Full Papers
  • FAQ
  • Glossary
Silas
  • Docs »
  • Technical Papers
  • View page source

Technical Papers¶

Slides¶

Silas: Dependable and High Performance Machine Learning.

Short Papers¶

Towards Dependable and Explainable Machine Learning Using Automated Reasoning. ICFEM 2018. Bibtex.

Full Papers¶

Silas: A High-Performance Machine Learning Foundation for Logical Reasoning and Verification. Preprint. Bibtex.

Next Previous

© Copyright 2024, Dependable Intelligence Pty Ltd

Built with Sphinx using a theme provided by Read the Docs.