Warm-Started Exact Rank Pruning / results.json
Mechanism confirmed, baseline not beaten
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}