Composed Trusted Reachable Families for Recurrent Networks / results.json

Failed on benchmark

Raw ⬇ ZIP
 1{
 2  "jacobian_check": {
 3    "analytic_A": 1.25,
 4    "finite_difference_A": 1.25,
 5    "max_R_error": 0.0
 6  },
 7  "prediction_1_quadratic_radius": {
 8    "radii": [
 9      0.01,
10      0.02,
11      0.04,
12      0.08
13    ],
14    "violations": [
15      0.00027939677238464355,
16      0.0011175870895385742,
17      0.004470348358154297,
18      0.017881393432617188
19    ],
20    "observed_log_slope": 2.0000000000000013,
21    "predicted_slope": 2.0
22  },
23  "prediction_2_horizon_boundary": {
24    "radii": [
25      0.01,
26      0.02,
27      0.04
28    ],
29    "epsilon": 0.001,
30    "measured_H": [
31      8,
32      5,
33      2
34    ],
35    "predicted_H": [
36      8,
37      5,
38      2
39    ],
40    "formula": "q*r^2*lambda^(2(H-1)) <= epsilon"
41  },
42  "prediction_3_radius_decay": {
43    "H": [
44      2,
45      4,
46      6,
47      8
48    ],
49    "radii": [
50      0.046188021535170064,
51      0.02956033378250884,
52      0.018918613620805658,
53      0.01210791271731562
54    ],
55    "observed_log_decay_per_step": -0.22314355131420965,
56    "predicted": -0.22314355131420976
57  },
58  "lambda_sweep": [
59    {
60      "lambda": 0.8,
61      "H10_violation": 0.00048000000000000126,
62      "critical_H": 50
63    },
64    {
65      "lambda": 1.0,
66      "H10_violation": 0.00048000000000000126,
67      "critical_H": 50
68    },
69    {
70      "lambda": 1.1,
71      "H10_violation": 0.0026687603104762897,
72      "critical_H": 4
73    },
74    {
75      "lambda": 1.25,
76      "H10_violation": 0.026645352591003757,
77      "critical_H": 2
78    },
79    {
80      "lambda": 1.5,
81      "H10_violation": 0.7093881024169923,
82      "critical_H": 1
83    }
84  ],
85  "monitor_comparison": {
86    "baseline_radius": 0.04,
87    "baseline_H10_violation": 0.026645352591003757,
88    "monitored_radius": 0.007749064139081997,
89    "monitored_H10_violation": 0.0010000000000000009
90  }
91}