Composed Trusted Reachable Families for Recurrent Networks / results.json
Failed on benchmark
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}