Warm-Started Exact Rank Pruning / results.json

Mechanism confirmed, baseline not beaten

Raw ⬇ ZIP
 1{
 2  "prox_prediction": {
 3    "mismatches": 0,
 4    "tested": 408,
 5    "near_boundary_cases": []
 6  },
 7  "balance_prediction": {
 8    "max_product_error": 1.2685846686484803e-15,
 9    "max_balanced_norm_gap": 8.881784197001252e-16,
10    "max_product_norm_error": 1.7763568394002505e-15
11  },
12  "path_prediction": {
13    "lambdas": [
14      0.0,
15      0.02,
16      0.08,
17      0.2,
18      0.5,
19      1.0,
20      2.0,
21      4.0
22    ],
23    "ranks": [
24      8,
25      3,
26      3,
27      3,
28      3,
29      3,
30      3,
31      3
32    ],
33    "monotone_nonincreasing": true,
34    "losses": [
35      1.4999999999813992e-06,
36      1.4999999999812749e-06,
37      1.4999999999812749e-06,
38      1.4999999999812749e-06,
39      1.4999999999812749e-06,
40      1.4999999999812749e-06,
41      1.4999999999812749e-06,
42      1.4999999999812749e-06
43    ],
44    "warm_seconds": 0.503456943000856
45  },
46  "baseline": [
47    {
48      "rank": 3,
49      "loss": 1.4999999999821069e-06,
50      "seconds": 0.4849585260017193
51    },
52    {
53      "rank": 8,
54      "loss": 1.4999999999816705e-06,
55      "seconds": 0.48690748199987866
56    }
57  ],
58  "prediction_summary": {
59    "threshold_rule": {
60      "predicted_mismatches": 0,
61      "observed_mismatches": 0,
62      "tested": 408
63    },
64    "balancing_rule": {
65      "predicted_product_error": 0.0,
66      "observed_max_product_error": 1.2685846686484803e-15,
67      "predicted_norm_gap": 0.0,
68      "observed_max_norm_gap": 8.881784197001252e-16
69    },
70    "lambda_zero_no_pruning": {
71      "predicted_rank": 8,
72      "observed_rank": 8
73    },
74    "warm_path_rank": {
75      "predicted_nonincreasing": true,
76      "observed_nonincreasing": true,
77      "observed_transition": "8->3"
78    }
79  },
80  "selected_path_point": {
81    "lambda": 0.02,
82    "rank": 3,
83    "loss": 1.4999999999812749e-06,
84    "objective": 0.1441383634091159
85  },
86  "setup": {
87    "shape": [
88      16,
89      13
90    ],
91    "true_rank": 3,
92    "max_rank": 8,
93    "eta": 0.01,
94    "steps_per_stage": 300
95  }
96}