From ba4419b7e75a903f154a40a1f18b0e50b2992958 Mon Sep 17 00:00:00 2001
From: Julien Girard <julien.girard2@cea.fr>
Date: Fri, 30 Jun 2023 16:34:07 +0200
Subject: [PATCH] [doc] Removed spurious Reference section
---
doc/acas_xu.rst | 3 ---
doc/mnist.rst | 2 --
2 files changed, 5 deletions(-)
diff --git a/doc/acas_xu.rst b/doc/acas_xu.rst
index eb58bc1..e88ac4d 100644
--- a/doc/acas_xu.rst
+++ b/doc/acas_xu.rst
@@ -398,9 +398,6 @@ sub-results to provide the final result corresponding to the original goal
formula.
-References
-==========
-
.. [Manfredi2016] G. Manfredi and Y. Jestin, *An introduction to ACAS Xu and the
challenges ahead*, 2016 IEEE/AIAA 35th Digital Avionics Systems Conference
(DASC), 2016, pp. 1-9, doi: 10.1109/DASC.2016.7778055
diff --git a/doc/mnist.rst b/doc/mnist.rst
index 0d9c57e..c80180c 100644
--- a/doc/mnist.rst
+++ b/doc/mnist.rst
@@ -152,8 +152,6 @@ for which nnenum is sure that the model ``MNIST_256_2.onnx`` is not robust with
respect to :math:`1 \%` perturbation. At the moment, CAISAR is not able to tell
which are the images in the dataset that cause such result.
-References
-==========
.. [LiDeng2012] Li Deng, *The MNIST Database of Handwritten Digit Images for
Machine Learning Research*, IEEE Signal Process. Mag., 2012, pp.
--
GitLab