{ "device": "cuda", "verification": { "fixed_point_pred": 0.35555555555555557, "fixed_point_obs": 0.3555555555526984, "convergence_factor_pred": 0.775, "convergence_factor_obs": 0.775000160417395, "coverage_sweep": [ { "sigma": 0.05, "q90": 0.08221011072573231, "coverage_at_q90": 0.9, "rm_epsilon_pred": 0.044257482772920916, "rm_coverage_pred": 0.6246725292372418, "rm_coverage_obs": 0.624835 }, { "sigma": 0.1, "q90": 0.1641927990183035, "coverage_at_q90": 0.9, "rm_epsilon_pred": 0.08851411159589755, "rm_coverage_pred": 0.6246725292372418, "rm_coverage_obs": 0.625545 }, { "sigma": 0.2, "q90": 0.32953203283739646, "coverage_at_q90": 0.9, "rm_epsilon_pred": 0.17751889800655732, "rm_coverage_pred": 0.6246725292372418, "rm_coverage_obs": 0.62529 }, { "sigma": 0.4, "q90": 0.656749909598371, "coverage_at_q90": 0.9, "rm_epsilon_pred": 0.3545037903482638, "rm_coverage_pred": 0.6246725292372418, "rm_coverage_obs": 0.624635 } ] }, "experiments": { "0.05": { "baseline": { "eps": 0.0, "violations_after_filter": 0.4970703125, "nominal_violations": 1.0, "intervention_norm": 0.7000036835670471, "tracking_mse": 0.4975588321685791, "barrier_fraction": 1.0 }, "fixed": { "eps": 0.22, "violations_after_filter": 0.0, "nominal_violations": 0.0, "intervention_norm": 0.0, "tracking_mse": 1.0773916244506836, "barrier_fraction": 0.0 }, "adaptive": { "eps": 0.04468362221786332, "violations_after_filter": 0.00029296875, "nominal_violations": 0.0, "intervention_norm": 0.0, "tracking_mse": 0.7592492699623108, "barrier_fraction": 0.0 } }, "0.1": { "baseline": { "eps": 0.0, "violations_after_filter": 0.4970703125, "nominal_violations": 1.0, "intervention_norm": 0.7000036835670471, "tracking_mse": 0.4975588321685791, "barrier_fraction": 1.0 }, "fixed": { "eps": 0.22, "violations_after_filter": 0.00029296875, "nominal_violations": 0.0, "intervention_norm": 0.0, "tracking_mse": 1.0773916244506836, "barrier_fraction": 0.0 }, "adaptive": { "eps": 0.08936724443572663, "violations_after_filter": 0.0173828125, "nominal_violations": 0.0, "intervention_norm": 0.0, "tracking_mse": 0.8346676826477051, "barrier_fraction": 0.0 } }, "0.2": { "baseline": { "eps": 0.0, "violations_after_filter": 0.4970703125, "nominal_violations": 1.0, "intervention_norm": 0.7000036835670471, "tracking_mse": 0.4975588321685791, "barrier_fraction": 1.0 }, "fixed": { "eps": 0.22, "violations_after_filter": 0.0453125, "nominal_violations": 0.0, "intervention_norm": 0.0, "tracking_mse": 1.0773916244506836, "barrier_fraction": 0.0 }, "adaptive": { "eps": 0.17873448887145327, "violations_after_filter": 0.06708984375, "nominal_violations": 0.0, "intervention_norm": 0.0, "tracking_mse": 0.9982839822769165, "barrier_fraction": 0.0 } }, "0.4": { "baseline": { "eps": 0.0, "violations_after_filter": 0.4970703125, "nominal_violations": 1.0, "intervention_norm": 0.7000036835670471, "tracking_mse": 0.4975588321685791, "barrier_fraction": 1.0 }, "fixed": { "eps": 0.22, "violations_after_filter": 0.20361328125, "nominal_violations": 0.0, "intervention_norm": 0.0, "tracking_mse": 1.0773916244506836, "barrier_fraction": 0.0 }, "adaptive": { "eps": 0.35746897774290654, "violations_after_filter": 0.122265625, "nominal_violations": 0.0, "intervention_norm": 0.0, "tracking_mse": 1.370474934577942, "barrier_fraction": 0.0 } } } }