From 8d569a2773d549212d5c23f6f15646ee34bcb67d Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Wed, 20 Dec 2023 14:39:30 +0100
Subject: [PATCH] [doc] Fix value of eps in MNIST property.
---
doc/mnist.rst | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/mnist.rst b/doc/mnist.rst
index a703f02..8ea1b1c 100644
--- a/doc/mnist.rst
+++ b/doc/mnist.rst
@@ -141,7 +141,7 @@ samples, we can define a goal and check the property
goal robustness:
let nn = read_neural_network "nets/MNIST_256_2.onnx" ONNX in
let dataset = read_dataset "csv/mnist_test.csv" CSV in
- let eps = (0.375:t) in
+ let eps = (0.0100000000000000002081668171172168513294309377670288085937500000:t) in
robust nn dataset eps
--
GitLab