gpu_results.json

{
  "paper": {
    "challenge_id": "65469",
    "openreview_id": "DK0kvnNelx",
    "arxiv_id": "2602.02680"
  },
  "official_commit": "56678319fa63e6bfeb982f432fbea12cb0fd5cd2",
  "environment": {
    "device": "cuda",
    "device_name": "Tesla T4",
    "torch": "2.7.1+cu128",
    "numpy": "2.2.6"
  },
  "pts_nsl_audit": {
    "trials": 1024,
    "reduced_rank_tests": 5120,
    "max_full_product_normalized_error": 1.2923418307847658e-30,
    "pts_min_normalized_gap": 0.0017954314789464802,
    "pts_median_normalized_gap": 0.1247521617870755,
    "pts_successes_at_1e_minus_12": 0,
    "pts_median_gap_by_rank": {
      "1": 0.30486106335590824,
      "2": 0.21791892487972853,
      "3": 0.14048410462666938,
      "4": 0.08009973040070785,
      "5": 0.03429635511453687
    },
    "nsl_max_normalized_prefix_gap": 2.4399326247049306e-32,
    "median_pts_over_nsl_gap_ratio": 5.11293469843915e+30
  },
  "asl_audit": {
    "trials": 64,
    "objective": 0.41480726863771006,
    "max_absolute_gradient": 6.240988420935052e-05,
    "rows": [
      {
        "rank": 1,
        "minimum_gap": 0.24271973784794956,
        "median_gap": 0.2713732367387165,
        "maximum_bound": 0.06113078690463862,
        "minimum_E_minus_bound": 0.18171461406025718,
        "violations": 0
      },
      {
        "rank": 2,
        "minimum_gap": 0.14543232059658717,
        "median_gap": 0.22059434851375548,
        "maximum_bound": 0.05977673833292174,
        "minimum_E_minus_bound": 0.08575769928360522,
        "violations": 0
      },
      {
        "rank": 3,
        "minimum_gap": 0.05683872524921352,
        "median_gap": 0.07011008182219555,
        "maximum_bound": 0.016062831877762754,
        "minimum_E_minus_bound": 0.04085695854031077,
        "violations": 0
      },
      {
        "rank": 4,
        "minimum_gap": 0.3220266997474828,
        "median_gap": 0.3255122448501667,
        "maximum_bound": 0.0023173473612799317,
        "minimum_E_minus_bound": 0.3197093523862029,
        "violations": 0
      }
    ],
    "minimum_submodel_gap": 0.05683872524921352,
    "minimum_bound_margin": 0.04085695854031077,
    "bound_violations": 0
  },
  "gates": {
    "claim_1_exact_full_factorizations": true,
    "claim_1_pts_almost_sure_failure": true,
    "claim_2_nsl_preserves_nested_minimizers": true,
    "claim_3_asl_numerical_stationarity": true,
    "claim_3_asl_positive_gap_and_bound": true
  },
  "all_pass": true,
  "duration_seconds": 5.916883974000029
}