{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:XHTMCYR4KNNJNEEUYI5U7OLPRR","short_pith_number":"pith:XHTMCYR4","canonical_record":{"source":{"id":"2502.03016","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-02-05T09:18:07Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"c7ea2b376aa27ec88a5dd86793e980db71cdfdce4d6eaf194f2a601fc6ebd30f","abstract_canon_sha256":"f6ac66bc6bcad6a13a6dbcfc0d500462b7b85e97dcf0f7ac8c2988f4062f4ae5"},"schema_version":"1.0"},"canonical_sha256":"b9e6c1623c535a969094c23b4fb96f8c527869bccb56ad6f538bbdb8cb3a2f33","source":{"kind":"arxiv","id":"2502.03016","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.03016","created_at":"2026-07-05T10:09:58Z"},{"alias_kind":"arxiv_version","alias_value":"2502.03016v1","created_at":"2026-07-05T10:09:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.03016","created_at":"2026-07-05T10:09:58Z"},{"alias_kind":"pith_short_12","alias_value":"XHTMCYR4KNNJ","created_at":"2026-07-05T10:09:58Z"},{"alias_kind":"pith_short_16","alias_value":"XHTMCYR4KNNJNEEU","created_at":"2026-07-05T10:09:58Z"},{"alias_kind":"pith_short_8","alias_value":"XHTMCYR4","created_at":"2026-07-05T10:09:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:XHTMCYR4KNNJNEEUYI5U7OLPRR","target":"record","payload":{"canonical_record":{"source":{"id":"2502.03016","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-02-05T09:18:07Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"c7ea2b376aa27ec88a5dd86793e980db71cdfdce4d6eaf194f2a601fc6ebd30f","abstract_canon_sha256":"f6ac66bc6bcad6a13a6dbcfc0d500462b7b85e97dcf0f7ac8c2988f4062f4ae5"},"schema_version":"1.0"},"canonical_sha256":"b9e6c1623c535a969094c23b4fb96f8c527869bccb56ad6f538bbdb8cb3a2f33","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:09:58.380979Z","signature_b64":"9VpcXeR7e0N2OjZUDNI4RvsIVpdXVvWI3ChMRMNUK6XtQEOb1O/Dm0qWPD0Iaq2KaqUQTUpi7olbZmLd7NsmCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b9e6c1623c535a969094c23b4fb96f8c527869bccb56ad6f538bbdb8cb3a2f33","last_reissued_at":"2026-07-05T10:09:58.380514Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:09:58.380514Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.03016","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T10:09:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q6CObliMJ9OswWYvcavOHsVciw567eN2qDoBDXZ2aSMjkDM1/NFcVP+FSJ0hiQLLhEZcEllI2vgL6XUCw6WJBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T10:59:21.805623Z"},"content_sha256":"fd0ecf2fcd58979e7a723f579e33f8896f5b97b6b1863168a0be102714bab466","schema_version":"1.0","event_id":"sha256:fd0ecf2fcd58979e7a723f579e33f8896f5b97b6b1863168a0be102714bab466"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:XHTMCYR4KNNJNEEUYI5U7OLPRR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An analysis of optimization problems involving ReLU neural networks","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"math.OC","authors_text":"Alexander Klimek, Caroline Ganzer, Christoph Plate, Kai Sundmacher, Mirko Hahn, Sebastian Sager","submitted_at":"2025-02-05T09:18:07Z","abstract_excerpt":"Solving mixed-integer optimization problems with embedded neural networks with ReLU activation functions is challenging. Big-M coefficients that arise in relaxing binary decisions related to these functions grow exponentially with the number of layers. We survey and propose different approaches to analyze and improve the run time behavior of mixed-integer programming solvers in this context. Among them are clipped variants and regularization techniques applied during training as well as optimization-based bound tightening and a novel scaling for given ReLU networks. We numerically compare thes"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.03016","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2502.03016/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T10:09:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IwguZ2NE7KEyBOZc2OY4Of6RV3ep5xOrPpd8W3g0gKEzmWfVoLZ1tbPgPnOw+jnqK8ovQosKzJdK+41CavAvCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T10:59:21.806331Z"},"content_sha256":"771e763e7367ff351794c12894ac9a6afb244e116961cf0ad145c7304e988681","schema_version":"1.0","event_id":"sha256:771e763e7367ff351794c12894ac9a6afb244e116961cf0ad145c7304e988681"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XHTMCYR4KNNJNEEUYI5U7OLPRR/bundle.json","state_url":"https://pith.science/pith/XHTMCYR4KNNJNEEUYI5U7OLPRR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XHTMCYR4KNNJNEEUYI5U7OLPRR/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-10T10:59:21Z","links":{"resolver":"https://pith.science/pith/XHTMCYR4KNNJNEEUYI5U7OLPRR","bundle":"https://pith.science/pith/XHTMCYR4KNNJNEEUYI5U7OLPRR/bundle.json","state":"https://pith.science/pith/XHTMCYR4KNNJNEEUYI5U7OLPRR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XHTMCYR4KNNJNEEUYI5U7OLPRR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:XHTMCYR4KNNJNEEUYI5U7OLPRR","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"f6ac66bc6bcad6a13a6dbcfc0d500462b7b85e97dcf0f7ac8c2988f4062f4ae5","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-02-05T09:18:07Z","title_canon_sha256":"c7ea2b376aa27ec88a5dd86793e980db71cdfdce4d6eaf194f2a601fc6ebd30f"},"schema_version":"1.0","source":{"id":"2502.03016","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.03016","created_at":"2026-07-05T10:09:58Z"},{"alias_kind":"arxiv_version","alias_value":"2502.03016v1","created_at":"2026-07-05T10:09:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.03016","created_at":"2026-07-05T10:09:58Z"},{"alias_kind":"pith_short_12","alias_value":"XHTMCYR4KNNJ","created_at":"2026-07-05T10:09:58Z"},{"alias_kind":"pith_short_16","alias_value":"XHTMCYR4KNNJNEEU","created_at":"2026-07-05T10:09:58Z"},{"alias_kind":"pith_short_8","alias_value":"XHTMCYR4","created_at":"2026-07-05T10:09:58Z"}],"graph_snapshots":[{"event_id":"sha256:771e763e7367ff351794c12894ac9a6afb244e116961cf0ad145c7304e988681","target":"graph","created_at":"2026-07-05T10:09:58Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2502.03016/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Solving mixed-integer optimization problems with embedded neural networks with ReLU activation functions is challenging. Big-M coefficients that arise in relaxing binary decisions related to these functions grow exponentially with the number of layers. We survey and propose different approaches to analyze and improve the run time behavior of mixed-integer programming solvers in this context. Among them are clipped variants and regularization techniques applied during training as well as optimization-based bound tightening and a novel scaling for given ReLU networks. We numerically compare thes","authors_text":"Alexander Klimek, Caroline Ganzer, Christoph Plate, Kai Sundmacher, Mirko Hahn, Sebastian Sager","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-02-05T09:18:07Z","title":"An analysis of optimization problems involving ReLU neural networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.03016","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:fd0ecf2fcd58979e7a723f579e33f8896f5b97b6b1863168a0be102714bab466","target":"record","created_at":"2026-07-05T10:09:58Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"f6ac66bc6bcad6a13a6dbcfc0d500462b7b85e97dcf0f7ac8c2988f4062f4ae5","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2025-02-05T09:18:07Z","title_canon_sha256":"c7ea2b376aa27ec88a5dd86793e980db71cdfdce4d6eaf194f2a601fc6ebd30f"},"schema_version":"1.0","source":{"id":"2502.03016","kind":"arxiv","version":1}},"canonical_sha256":"b9e6c1623c535a969094c23b4fb96f8c527869bccb56ad6f538bbdb8cb3a2f33","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b9e6c1623c535a969094c23b4fb96f8c527869bccb56ad6f538bbdb8cb3a2f33","first_computed_at":"2026-07-05T10:09:58.380514Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:09:58.380514Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9VpcXeR7e0N2OjZUDNI4RvsIVpdXVvWI3ChMRMNUK6XtQEOb1O/Dm0qWPD0Iaq2KaqUQTUpi7olbZmLd7NsmCA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:09:58.380979Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.03016","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fd0ecf2fcd58979e7a723f579e33f8896f5b97b6b1863168a0be102714bab466","sha256:771e763e7367ff351794c12894ac9a6afb244e116961cf0ad145c7304e988681"],"state_sha256":"4e8c4eea7dccfe8068bf31d7f1586729a776edaac89ae9820d2b059661778d43"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I8G9lCKu0MYmeHLL+3HbiLqgtUJIIRs9C8dBB4t+t7Vjc3WPfMAutK03BeaK67tdSIQFcKcm4ej5WgxP8VrsCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T10:59:21.810773Z","bundle_sha256":"341c763d1c81aba625d7e598b05cc551a761261eb105ce2edc01babafd85c508"}}