{
  "seed": 2746,
  "device": "cuda",
  "math": {
    "zero_crossing": {
      "predicted_exact_m": 2.0,
      "observed_exact_m": 2.0,
      "observed_smooth_zero_m": 1.9500000000000002,
      "smooth_bias_m": 0.06932220421731472
    },
    "smoothing_bound": {
      "predicted_error_leq_tau_log4": [
        {
          "tau": 0.2,
          "value": 1.0039492845535278,
          "error": 0.003949284553527832,
          "bound": 0.2772588722239781
        },
        {
          "tau": 0.1,
          "value": 1.0000337362289429,
          "error": 3.3736228942871094e-05,
          "bound": 0.13862943611198905
        },
        {
          "tau": 0.05,
          "value": 1.0,
          "error": 0.0,
          "bound": 0.06931471805599453
        },
        {
          "tau": 0.01,
          "value": 1.0,
          "error": 0.0,
          "bound": 0.013862943611198907
        }
      ]
    },
    "gradient": {
      "predicted_dx_near_1": [
        {
          "tau": 0.5,
          "dx": 0.9820138812065125
        },
        {
          "tau": 0.2,
          "dx": 0.9999547004699707
        },
        {
          "tau": 0.1,
          "dx": 0.9999995827674866
        },
        {
          "tau": 0.05,
          "dx": 0.9999995827674866
        },
        {
          "tau": 0.01,
          "dx": 1.0000014305114746
        }
      ]
    }
  },
  "mini_experiment": {
    "baseline": {
      "mse": 2.7087015041615814e-05,
      "min_margin": -0.997573733329773,
      "collision_fraction": 0.8893229365348816
    },
    "barrier": {
      "mse": 0.30904942750930786,
      "min_margin": -0.1329866647720337,
      "collision_fraction": 0.03515625
    }
  }
}