{ "seed": 1234, "theorem_checks": [ { "m": 2, "theory_kappa": 0.03333333333333333, "estimated_kappa": 0.03333333331516735, "relative_error": 5.44979478211971e-10, "leading_constant": 0.002110857992548699 }, { "m": 3, "theory_kappa": 0.014285714285714285, "estimated_kappa": 0.014285714242518812, "relative_error": 3.0236831267960174e-09, "leading_constant": 4.666020606654906e-07 } ], "score_check": { "max_abs_error": 1.4446799312395342e-10, "finite_difference": [ -4.053152070637722, 0.5395604262825593, 3.5135916445216964 ], "analytic": [ -4.053152070657167, 0.5395604262799386, 3.5135916443772284 ] }, "sampler": { "baseline": { "collision_rate_gap_lt_0.10": 0.09107142857142857, "gap_std": 0.9454051399102339, "min_gap_p05": 0.053099628062513185 }, "repulsion": { "collision_rate_gap_lt_0.10": 0.0017142857142857142, "gap_std": 0.46084613189743323, "min_gap_p05": 0.3547187069524476 }, "full": { "collision_rate_gap_lt_0.10": 0.0027142857142857142, "gap_std": 0.4516010440279278, "min_gap_p05": 0.33081805897515937 } } }