{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:XSIZ7SBGW5XSTDGWDLC6QALQUQ","short_pith_number":"pith:XSIZ7SBG","canonical_record":{"source":{"id":"2504.14356","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-19T16:50:17Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"298d992954ae6a0984d8d34dc6b0dacbbea9a889f0058c21100c06967b743823","abstract_canon_sha256":"f992df0e3c8b11047c08849fd802898f48e02df0f92b58b644a79bbdd0e7eb2c"},"schema_version":"1.0"},"canonical_sha256":"bc919fc826b76f298cd61ac5e80170a426330a3322d53500f48df0d49a15f1e5","source":{"kind":"arxiv","id":"2504.14356","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.14356","created_at":"2026-07-05T10:51:42Z"},{"alias_kind":"arxiv_version","alias_value":"2504.14356v1","created_at":"2026-07-05T10:51:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.14356","created_at":"2026-07-05T10:51:42Z"},{"alias_kind":"pith_short_12","alias_value":"XSIZ7SBGW5XS","created_at":"2026-07-05T10:51:42Z"},{"alias_kind":"pith_short_16","alias_value":"XSIZ7SBGW5XSTDGW","created_at":"2026-07-05T10:51:42Z"},{"alias_kind":"pith_short_8","alias_value":"XSIZ7SBG","created_at":"2026-07-05T10:51:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:XSIZ7SBGW5XSTDGWDLC6QALQUQ","target":"record","payload":{"canonical_record":{"source":{"id":"2504.14356","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-19T16:50:17Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"298d992954ae6a0984d8d34dc6b0dacbbea9a889f0058c21100c06967b743823","abstract_canon_sha256":"f992df0e3c8b11047c08849fd802898f48e02df0f92b58b644a79bbdd0e7eb2c"},"schema_version":"1.0"},"canonical_sha256":"bc919fc826b76f298cd61ac5e80170a426330a3322d53500f48df0d49a15f1e5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:51:42.278941Z","signature_b64":"1qUIeKuI+Tt7e+synx8UHBJN9U9/Y1sUj9GBQRrQm1DKo7GnbLMo/62VTP4H0UtGRFzxqYMtpkJx0DHw0/sYAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bc919fc826b76f298cd61ac5e80170a426330a3322d53500f48df0d49a15f1e5","last_reissued_at":"2026-07-05T10:51:42.278440Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:51:42.278440Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.14356","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:51:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5RQZUblM8OCaIuEeO2ZoorNwdZWsDFsbFo6Ms2vZvxHCAaMRnd8PISS0rGqzU2b+whSKe3+vHBV8P9IVyxjZBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T02:45:59.654879Z"},"content_sha256":"90e1bc008c381040e71e760fb872f0bf233b0c44aa150fb242c057725a70ec9e","schema_version":"1.0","event_id":"sha256:90e1bc008c381040e71e760fb872f0bf233b0c44aa150fb242c057725a70ec9e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:XSIZ7SBGW5XSTDGWDLC6QALQUQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"cs.AI","authors_text":"Edrin Hasaj, Jacob Gipp, Masoud Ataei, Sepideh Forouzi","submitted_at":"2025-04-19T16:50:17Z","abstract_excerpt":"This paper presents a unified mixed-integer programming framework for training sparse and interpretable neural networks. We develop exact formulations for both fully connected and convolutional architectures by modeling nonlinearities such as ReLU activations through binary variables and encoding structural sparsity via filter- and layer-level pruning constraints. The resulting models integrate parameter learning, architecture selection, and structural regularization within a single optimization problem, yielding globally optimal solutions with respect to a composite objective that balances pr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.14356","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/2504.14356/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:51:42Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9BbAjIdl0lpYkrW3gtnusFrVp7E5f1J+612PGRLAjJYmf13PevAdw9AjNXmT8RAwT/lCzN3E2nVGvTmuaSJWAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T02:45:59.655402Z"},"content_sha256":"e01c41d49de0aad399c51481391eb8f7cb254618f37c17480d5861450bd68622","schema_version":"1.0","event_id":"sha256:e01c41d49de0aad399c51481391eb8f7cb254618f37c17480d5861450bd68622"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XSIZ7SBGW5XSTDGWDLC6QALQUQ/bundle.json","state_url":"https://pith.science/pith/XSIZ7SBGW5XSTDGWDLC6QALQUQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XSIZ7SBGW5XSTDGWDLC6QALQUQ/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-21T02:45:59Z","links":{"resolver":"https://pith.science/pith/XSIZ7SBGW5XSTDGWDLC6QALQUQ","bundle":"https://pith.science/pith/XSIZ7SBGW5XSTDGWDLC6QALQUQ/bundle.json","state":"https://pith.science/pith/XSIZ7SBGW5XSTDGWDLC6QALQUQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XSIZ7SBGW5XSTDGWDLC6QALQUQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:XSIZ7SBGW5XSTDGWDLC6QALQUQ","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":"f992df0e3c8b11047c08849fd802898f48e02df0f92b58b644a79bbdd0e7eb2c","cross_cats_sorted":["math.OC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-19T16:50:17Z","title_canon_sha256":"298d992954ae6a0984d8d34dc6b0dacbbea9a889f0058c21100c06967b743823"},"schema_version":"1.0","source":{"id":"2504.14356","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.14356","created_at":"2026-07-05T10:51:42Z"},{"alias_kind":"arxiv_version","alias_value":"2504.14356v1","created_at":"2026-07-05T10:51:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.14356","created_at":"2026-07-05T10:51:42Z"},{"alias_kind":"pith_short_12","alias_value":"XSIZ7SBGW5XS","created_at":"2026-07-05T10:51:42Z"},{"alias_kind":"pith_short_16","alias_value":"XSIZ7SBGW5XSTDGW","created_at":"2026-07-05T10:51:42Z"},{"alias_kind":"pith_short_8","alias_value":"XSIZ7SBG","created_at":"2026-07-05T10:51:42Z"}],"graph_snapshots":[{"event_id":"sha256:e01c41d49de0aad399c51481391eb8f7cb254618f37c17480d5861450bd68622","target":"graph","created_at":"2026-07-05T10:51:42Z","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/2504.14356/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents a unified mixed-integer programming framework for training sparse and interpretable neural networks. We develop exact formulations for both fully connected and convolutional architectures by modeling nonlinearities such as ReLU activations through binary variables and encoding structural sparsity via filter- and layer-level pruning constraints. The resulting models integrate parameter learning, architecture selection, and structural regularization within a single optimization problem, yielding globally optimal solutions with respect to a composite objective that balances pr","authors_text":"Edrin Hasaj, Jacob Gipp, Masoud Ataei, Sepideh Forouzi","cross_cats":["math.OC"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-19T16:50:17Z","title":"Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.14356","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:90e1bc008c381040e71e760fb872f0bf233b0c44aa150fb242c057725a70ec9e","target":"record","created_at":"2026-07-05T10:51:42Z","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":"f992df0e3c8b11047c08849fd802898f48e02df0f92b58b644a79bbdd0e7eb2c","cross_cats_sorted":["math.OC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-04-19T16:50:17Z","title_canon_sha256":"298d992954ae6a0984d8d34dc6b0dacbbea9a889f0058c21100c06967b743823"},"schema_version":"1.0","source":{"id":"2504.14356","kind":"arxiv","version":1}},"canonical_sha256":"bc919fc826b76f298cd61ac5e80170a426330a3322d53500f48df0d49a15f1e5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bc919fc826b76f298cd61ac5e80170a426330a3322d53500f48df0d49a15f1e5","first_computed_at":"2026-07-05T10:51:42.278440Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:51:42.278440Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1qUIeKuI+Tt7e+synx8UHBJN9U9/Y1sUj9GBQRrQm1DKo7GnbLMo/62VTP4H0UtGRFzxqYMtpkJx0DHw0/sYAA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:51:42.278941Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.14356","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:90e1bc008c381040e71e760fb872f0bf233b0c44aa150fb242c057725a70ec9e","sha256:e01c41d49de0aad399c51481391eb8f7cb254618f37c17480d5861450bd68622"],"state_sha256":"9b0b3338f1d88414735b9db5f0ed48e6d980436ae6df12530176c3c320dba598"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MdxWT/LUCPAfke9pX8dOdoeuo3VJ8QQ28H6Usi9qq5plK2Jx8dwSv/cWwYjyRER5dHf6iMV5BKvdQrLpWPooAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T02:45:59.660926Z","bundle_sha256":"330fedbc12b51bfe540a36e3b799a382c8e748531d08cd306a7fdd9867cf9524"}}