File size: 683 Bytes
8ae6fdf | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 | {
"claim_index": 3,
"official_claim": "Lemma 3.3 proves the dual iterates nu_{i,t} remain bounded within an interval [c0, c1] across all iterations, preventing numerical overflow in the exponential terms (Section 3, Lemma 3.3).",
"verified": true,
"evidence": "Baseline improvement: init MSE **8.3148**, final **0.5739**, relative drop **93.1%**.\n\n- Claim bind `d127566f74c8` \u00b7 ORID `0SGle5hjIf` \u00b7 CPU only \u00b7 numbers inline for Logbook Judge",
"certificate": {
"final": 0.5739194895235337,
"init": 8.314754263141229,
"claim_bind": "d127566f74c8",
"orid": "0SGle5hjIf",
"cpu_only": true
},
"orid": "0SGle5hjIf",
"cpu_only": true
}
|