Spaces:
Running
Running
File size: 3,835 Bytes
810a225 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 | {
"paper": "2606.08681",
"campaign": "independent-regressions-claims-3-to-5",
"git_sha": "3a38e9ec8587c59f15192c21428de092059b781f",
"seed": 20260728,
"environment": {
"python": "3.12.12",
"platform": "Linux-6.12.90-120.164.amzn2023.x86_64-x86_64-with-glibc2.36",
"cpu_count_visible": 64,
"cpu_threads_effective": 1,
"numpy": "2.5.1"
},
"compute_plan": {
"backend": "hf",
"flavor": "cpu-upgrade",
"estimated_cores": 8,
"estimated_runtime_seconds": 1200
},
"runtime_seconds": 15.488084773998708,
"run_id": "9c41004b-5557-456c-85f4-c18da9b20634",
"claim": {
"id": "C4-INDEPENDENT",
"anchor": "Table 2 / Section 3 and Proposition 3.1",
"status": "PASS",
"evidence": {
"status": "VERIFIED",
"rows": [
{
"epsilon": 0.25,
"delta_star": 0.73667,
"u0": 0.1758530328653588,
"analytic_tangent_slope": -1.4974416001259545,
"minimum_tangent_slack": 0,
"minimum_slope_increment": 0,
"tangent_dominance": true,
"convex_tail": true
},
{
"epsilon": 0.5,
"delta_star": 0.70697,
"u0": 0.17435351771114274,
"analytic_tangent_slope": -1.6806680948879547,
"minimum_tangent_slack": -3.9444858557224904e-7,
"minimum_slope_increment": 0,
"tangent_dominance": true,
"convex_tail": true
},
{
"epsilon": 1,
"delta_star": 0.649185,
"u0": 0.16878926941872574,
"analytic_tangent_slope": -2.078419293355624,
"minimum_tangent_slack": 0,
"minimum_slope_increment": 0,
"tangent_dominance": true,
"convex_tail": true
},
{
"epsilon": 2,
"delta_star": 0.549133,
"u0": 0.1514991228268617,
"analytic_tangent_slope": -2.9760351292862377,
"minimum_tangent_slack": 0,
"minimum_slope_increment": 0,
"tangent_dominance": true,
"convex_tail": true
},
{
"epsilon": 4,
"delta_star": 0.416972,
"u0": 0.11564327912801145,
"analytic_tangent_slope": -5.041609426650677,
"minimum_tangent_slack": -2.461805277409468e-7,
"minimum_slope_increment": -3e-323,
"tangent_dominance": true,
"convex_tail": true
},
{
"epsilon": 8,
"delta_star": 0.29217,
"u0": 0.07259321767686538,
"analytic_tangent_slope": -9.750641183120514,
"minimum_tangent_slack": -4.178951782396467e-7,
"minimum_slope_increment": -7.707e-321,
"tangent_dominance": true,
"convex_tail": true
},
{
"epsilon": 16,
"delta_star": 0.197615,
"u0": 0.03955363315735349,
"analytic_tangent_slope": -20.28597749697904,
"minimum_tangent_slack": 0,
"minimum_slope_increment": -1.0522549e-316,
"tangent_dominance": true,
"convex_tail": true
}
],
"negative_controls": [
{
"id": "NC_C5_extend_threshold_to_delta_0.9",
"mutated_row": {
"epsilon": 1,
"delta_star": 0.9,
"u0": 0.07191646824487513,
"analytic_tangent_slope": -2.892737901160772,
"minimum_tangent_slack": -0.10803549340954666,
"minimum_slope_increment": -0.0007810622667761002,
"tangent_dominance": false,
"convex_tail": false
},
"rejected": true
}
],
"passed": true
},
"limitation": "Independent current regression for previously full-credit evidence; historical judged values remain preserved and reachable."
},
"all_passed": true
}
|