.. Silas documentation master file, created by
   sphinx-quickstart on Mon Nov 19 12:49:44 2018.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

技术文件
================

.. toctree::
   :maxdepth: 2
   :caption: Contents:

课件PPT
^^^^^^^

`Silas: 可信赖和高性能的机器学习 <https://www.depintel.com/documentation/papers/pdfs/0-silas-unclassified-v1.pdf>`_

短论文
^^^^^^^^^^^^

`Towards Dependable and Explainable Machine Learning Using Automated Reasoning. ICFEM 2018. <https://www.depintel.com/documentation/papers/pdfs/Towards_Dependable_and_Explainable_Machine_Learning_Using_Automated_Reasoning.pdf>`_ `Bibtex. <https://citation-needed.springer.com/v2/references/10.1007/978-3-030-02450-5_25?format=bibtex&flavour=citation>`_
   
完整版论文
^^^^^^^^^^^

`Silas: A High-Performance Machine Learning Foundation for Logical Reasoning and Verification. <https://www.sciencedirect.com/science/article/pii/S0957417421002475>`_ `Preprint. <https://zhehou.github.io/papers/Silas_and_comparison_paper_Expert_Systems_with_Applications.pdf>`_ `Bibtex. <https://zhehou.github.io/papers/bride2021silas.bib>`_

.. Indices and tables
.. ==================

.. * :ref:`genindex`
.. * :ref:`modindex`
.. * :ref:`search`