{ "math_check": { "max_inverse_error": 1.3877787807814457e-17, "minimum_projected_tail_margin": 0.0, "rows": [ { "k": 1.01, "c": 1.0512492197250387, "transition_polynomial": -4.440892098500626e-16 }, { "k": 1.1, "c": 1.1705367195742484, "transition_polynomial": 4.440892098500626e-16 }, { "k": 2, "c": 1.618033988749895, "transition_polynomial": 8.881784197001252e-16 }, { "k": 3, "c": 1.9318516525781366, "transition_polynomial": 0.0 }, { "k": 10, "c": 3.302775637731995, "transition_polynomial": 1.4210854715202004e-14 }, { "k": 100, "c": 10.04938296807921, "transition_polynomial": 0.0 } ] }, "empirical_tail_check": [ { "distribution": "student_t", "nu": 5, "kurtosis_bound": 9.450000000000001, "delta": 0.01, "threshold": 5.470207866221638, "observed_tail": 0.000436, "bound_formula_at_threshold": 0.010000000000000002 }, { "distribution": "student_t", "nu": 5, "kurtosis_bound": 9.450000000000001, "delta": 0.05, "threshold": 3.6974089100681917, "observed_tail": 0.0024545, "bound_formula_at_threshold": 0.05000000000000001 }, { "distribution": "student_t", "nu": 8, "kurtosis_bound": 4.7250000000000005, "delta": 0.01, "threshold": 4.4948320661837675, "observed_tail": 0.0003925, "bound_formula_at_threshold": 0.010000000000000004 }, { "distribution": "student_t", "nu": 8, "kurtosis_bound": 4.7250000000000005, "delta": 0.05, "threshold": 3.068026708671015, "observed_tail": 0.003743, "bound_formula_at_threshold": 0.05000000000000004 }, { "distribution": "student_t", "nu": 20, "kurtosis_bound": 3.54375, "delta": 0.01, "threshold": 4.107212175049988, "observed_tail": 0.0001855, "bound_formula_at_threshold": 0.010000000000000005 }, { "distribution": "student_t", "nu": 20, "kurtosis_bound": 3.54375, "delta": 0.05, "threshold": 2.819941140811586, "observed_tail": 0.0037685, "bound_formula_at_threshold": 0.05 } ], "optimizer": { "none": { "final_loss": 0.0013225229805502608, "mean_last50_loss": 0.0013702425855572865, "max_loss": 27.038855599758563, "spike_steps": 238.2, "mean_tail_above_threshold": null, "final_abs_x": 0.045344010240534596, "replicate_std_final_loss": 0.0010346012527671547 }, "fixed": { "final_loss": 5.07767451269562e-05, "mean_last50_loss": 9.46825981257205e-05, "max_loss": 30.764175, "spike_steps": 248.6, "mean_tail_above_threshold": 0.15234375, "final_abs_x": 0.00791960988221092, "replicate_std_final_loss": 8.242405461179995e-05 }, "calibrated": { "final_loss": 0.0013225229805483966, "mean_last50_loss": 0.0013702425855083417, "max_loss": 27.05331330396915, "spike_steps": 6.9, "mean_tail_above_threshold": 0.00065625, "final_abs_x": 0.045344010240479314, "replicate_std_final_loss": 0.0010346012527644123 } } }