.. auto_LiRPA documentation master file, created by
   sphinx-quickstart on Wed Jul 14 21:56:10 2021.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Documentation for `auto_LiRPA <https://github.com/KaidiXu/auto_LiRPA>`_
===========================================================================

.. toctree::
   :hidden:

   sections/installation
   sections/quick-start
   examples
   api
   custom_op
   paper

.. raw:: html

   <p align="center">
   <a href="http://PaperCode.cc/AutoLiRPA-Video"><img src="http://www.huan-zhang.com/images/upload/lirpa/auto_lirpa_2.png" width="45%" height="45%" float="left"></a>
   <a href="http://PaperCode.cc/AutoLiRPA-Video"><img src="http://www.huan-zhang.com/images/upload/lirpa/auto_lirpa_1.png" width="45%" height="45%" float="right"></a>
   </p>

.. mdinclude:: sections/introduction.md

Usage
-----

* :doc:`Installation <sections/installation>`
* :doc:`Quick Start <sections/quick-start>`
* :doc:`More Working Examples <examples>`
* :doc:`API Usage <api>`
* :doc:`Custom Operators <custom_op>`
* :doc:`Reproducing our NeurIPS 2020 paper <paper>`