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

Silas Model Audit
=================

The Silas Model Audit feature allows the user to specify certain constraints, criteria, requirements or specifications using logic and verify that the machine learning model is compliant with the user's specifications. This features has two functionalities: model verification and enforcement learning. The former is formally verifies machine learning models against user specifications. The latter enforces user specifications in the learning process in order to generate compliant models.

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

   model_verify
   model_enforce

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

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