LP-Embedded Input-Convex MLP / report_bench_2026-09-01T100929.md
Mechanism confirmed, baseline not beaten
Стенд-проверка (stage-2) · промт оператора:
(универсальный)
Ответ агента:
{ "worked": false, "confidence": 9, "verdict": "Built and ran the full Stage-2 paired-seed benchmark on the structurally matched tabular Friedman regression track. The ICNN mechanism signature was quantitatively confirmed: trained models had no Jensen violations above 1e-5, but test MSE was slightly worse than the tuned ReLU baseline (delta +0.02331, permutation p=0.94485), so there is no significant training win.", "metrics": { "baseline": "Friedman tabular test MSE 5.413264 ± 0.775872 across 8 seeds; best lr=0.003", "idea": "ICNN tabular test MSE 5.436576 ± 0.422453 across 8 seeds; best lr=0.01; paired delta +0.023312; p=0.94485; 4/8 seed wins", "mechanism_signature": "Observed maximum midpoint Jensen violation 3.8147e-06 and violation rate 0.0 across 8 trained ICNN models; predicted 0; confirmed=true" }, "how_to_run": "/home/maxwelhelp/main/bin/python3 bench_experiment.py", "files": [ "bench_experiment.py", "bench_report.json" ], "limitations": "Only the built-in tabular track was tested because this is an architectural/optimization intervention. Downstream LP/MIP solve time, branch-and-bound nodes, and a full application embedding were not measured. The comparison used a small two-layer width-32 architecture, 25 epochs, and a three-value learning-rate sweep.", "bench_report": { "bench_version": 1, "track": "tabular", "model": "mlp_med", "metric_direction": "lower is better", "n_seeds": 8, "baseline": { "best_cfg": { "lr": 0.003 }, "sweep": [ { "cfg": { "lr": 0.001 }, "mean": 6.546770215034485 }, { "cfg": { "lr": 0.003 }, "mean": 5.133943796157837 }, { "cfg": { "lr": 0.01 }, "mean": 5.272171854972839 } ], "full": { "mean": 5.413264155387878, "std": 0.7758719453955597, "per_seed": [ 4.240733623504639, 5.491628170013428, 5.039286136627197, 5.764127254486084, 6.573030948638916, 6.121939659118652, 5.759654521942139, 4.315712928771973 ], "n": 8 } }, "idea": { "best_cfg": { "lr": 0.01 }, "sweep": [ { "cfg": { "lr": 0.001 }, "mean": 6.933225512504578 }, { "cfg": { "lr": 0.003 }, "mean": 5.442892074584961 }, { "cfg": { "lr": 0.01 }, "mean": 5.218377470970154 } ], "full": { "mean": 5.436576008796692, "std": 0.42245263195805716, "per_seed": [ 5.354506015777588, 4.885490417480469, 5.651634693145752, 4.981878757476807, 5.249680995941162, 6.110184669494629, 6.017618656158447, 5.241613864898682 ], "n": 8 } }, "comparison": { "delta_mean": 0.023311853408813477, "idea_wins": 4, "n_pairs": 8, "per_seed_diffs": [ 1.1137723922729492, -0.606137752532959, 0.6123485565185547, -0.7822484970092773, -1.323349952697754, -0.011754989624023438, 0.2579641342163086, 0.925900936126709 ], "p_value": 0.94485, "mde": 0.7252095318160074, "mde_rel_pct": 13.396899005828097, "verdict": "no measurable effect", "system_worked": false }, "mechanism_signature": { "claim": "trained ICNN predictions satisfy midpoint Jensen convexity", "predicted_max_violation": 0.0, "observed_max_violation": 3.814697265625e-06, "observed_violation_rate": 0.0, "confirmed": true, "n_models": 8 } }, "system_verdict": "partial", "practical_verdict": "no_effect", "mechanism_ok": 1, "system_judged": true }