{ "exact_verification": { "rows": [ { "delta": 0.0, "pred_path_KL": 0.0, "mc_mean_work": 0.0, "pred_endpoint_KL": 0.0, "mc_endpoint_KL": 0.0 }, { "delta": 0.25, "pred_path_KL": 0.033414502164502174, "mc_mean_work": 0.0332259507151612, "pred_endpoint_KL": 0.03125, "mc_endpoint_KL": 0.03125 }, { "delta": 0.5, "pred_path_KL": 0.1336580086580087, "mc_mean_work": 0.132307758867439, "pred_endpoint_KL": 0.125, "mc_endpoint_KL": 0.125 }, { "delta": 1.0, "pred_path_KL": 0.5346320346320348, "mc_mean_work": 0.5338538368235802, "pred_endpoint_KL": 0.5, "mc_endpoint_KL": 0.5 }, { "delta": 1.5, "pred_path_KL": 1.2029220779220782, "mc_mean_work": 1.207203108258537, "pred_endpoint_KL": 1.125, "mc_endpoint_KL": 1.125 }, { "delta": 2.0, "pred_path_KL": 2.138528138528139, "mc_mean_work": 2.147028579323454, "pred_endpoint_KL": 2.0, "mc_endpoint_KL": 2.0 } ], "path_quadratic_slope": 0.5365528948967219, "predicted_slope": 0.5346320346320348, "endpoint_path_ratio": 0.935222672064777, "predicted_ratio": 0.935222672064777, "max_bound_violation": 0.0 }, "mini_experiment": { "trained": { "work_mean": 12.333385467529297, "work_std": 201.37527465820312, "mode_balance": 0.49291667342185974, "mean_energy": 1.2871456146240234 }, "uncorrected": { "work_mean": 76.18572998046875, "work_std": 1562.433349609375, "mode_balance": 0.5015833377838135, "mean_energy": 2.547309160232544 }, "train_initial": 63.64241027832031, "train_final": 118.8243408203125, "device": "cuda" }, "checks": { "quadratic_slope_relative_error": 0.003592864138807401, "endpoint_ratio_relative_error": 0.0, "bound_holds": true, "mechanism_confirmed": true } }