{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:JIDS7DY62P6O5CB2Q32JWCECPI","short_pith_number":"pith:JIDS7DY6","canonical_record":{"source":{"id":"1712.06174","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2017-12-17T20:11:39Z","cross_cats_sorted":[],"title_canon_sha256":"b546f9dfdee791aecac689ae20efb7162cc790e309965169c23ccd3ebaed4947","abstract_canon_sha256":"0c2317ab65e3a2d0d51675963663db6e05dbad3d8b7fe5a141b55c5439de84e8"},"schema_version":"1.0"},"canonical_sha256":"4a072f8f1ed3fcee883a86f49b08827a1b539195aff11626f423e4b871b66e08","source":{"kind":"arxiv","id":"1712.06174","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.06174","created_at":"2026-05-18T00:27:50Z"},{"alias_kind":"arxiv_version","alias_value":"1712.06174v1","created_at":"2026-05-18T00:27:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.06174","created_at":"2026-05-18T00:27:50Z"},{"alias_kind":"pith_short_12","alias_value":"JIDS7DY62P6O","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"JIDS7DY62P6O5CB2","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"JIDS7DY6","created_at":"2026-05-18T12:31:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:JIDS7DY62P6O5CB2Q32JWCECPI","target":"record","payload":{"canonical_record":{"source":{"id":"1712.06174","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2017-12-17T20:11:39Z","cross_cats_sorted":[],"title_canon_sha256":"b546f9dfdee791aecac689ae20efb7162cc790e309965169c23ccd3ebaed4947","abstract_canon_sha256":"0c2317ab65e3a2d0d51675963663db6e05dbad3d8b7fe5a141b55c5439de84e8"},"schema_version":"1.0"},"canonical_sha256":"4a072f8f1ed3fcee883a86f49b08827a1b539195aff11626f423e4b871b66e08","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:27:50.934767Z","signature_b64":"vltnoBveZ1dLN0qAEBF8RA3AxvIr6sz2t9eYXLmsSbTQo0IJNDxqKLUEMPWJvesAxyMwnnCRS6ZHK4BKPdS/Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4a072f8f1ed3fcee883a86f49b08827a1b539195aff11626f423e4b871b66e08","last_reissued_at":"2026-05-18T00:27:50.934189Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:27:50.934189Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1712.06174","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-05-18T00:27:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W7MFX8njhDGJH4zeDGNitYqpsMP+wjyYoJ/wXy0jpboSHq9BnOcZr9PQ/H6QjqcGHfCZ6S+gMIhcSXDJTUoqAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T05:21:12.597573Z"},"content_sha256":"df7e4da1fa7497477439a7889207a47ebe74899a2c6a57b27a19c475a2112a43","schema_version":"1.0","event_id":"sha256:df7e4da1fa7497477439a7889207a47ebe74899a2c6a57b27a19c475a2112a43"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:JIDS7DY62P6O5CB2Q32JWCECPI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Deep Neural Networks as 0-1 Mixed Integer Linear Programs: A Feasibility Study","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Jason Jo, Matteo Fischetti","submitted_at":"2017-12-17T20:11:39Z","abstract_excerpt":"Deep Neural Networks (DNNs) are very popular these days, and are the subject of a very intense investigation. A DNN is made by layers of internal units (or neurons), each of which computes an affine combination of the output of the units in the previous layer, applies a nonlinear operator, and outputs the corresponding value (also known as activation). A commonly-used nonlinear operator is the so-called rectified linear unit (ReLU), whose output is just the maximum between its input value and zero. In this (and other similar cases like max pooling, where the max operation involves more than on"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.06174","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":""},"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-05-18T00:27:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pg/m8Oqot9ZmRKm5njUlPJrhNGmwfDpHi6TaI+eCOXOYChhoBAnbR5X83Y3mA7F4n5gAf5T312RY1VqR0NeaAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T05:21:12.597926Z"},"content_sha256":"42698fb702acda5d17bbffa597c0e5bb57f3f94dc90c292d95aef7b5688e6c37","schema_version":"1.0","event_id":"sha256:42698fb702acda5d17bbffa597c0e5bb57f3f94dc90c292d95aef7b5688e6c37"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JIDS7DY62P6O5CB2Q32JWCECPI/bundle.json","state_url":"https://pith.science/pith/JIDS7DY62P6O5CB2Q32JWCECPI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JIDS7DY62P6O5CB2Q32JWCECPI/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-06-03T05:21:12Z","links":{"resolver":"https://pith.science/pith/JIDS7DY62P6O5CB2Q32JWCECPI","bundle":"https://pith.science/pith/JIDS7DY62P6O5CB2Q32JWCECPI/bundle.json","state":"https://pith.science/pith/JIDS7DY62P6O5CB2Q32JWCECPI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JIDS7DY62P6O5CB2Q32JWCECPI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:JIDS7DY62P6O5CB2Q32JWCECPI","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":"0c2317ab65e3a2d0d51675963663db6e05dbad3d8b7fe5a141b55c5439de84e8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2017-12-17T20:11:39Z","title_canon_sha256":"b546f9dfdee791aecac689ae20efb7162cc790e309965169c23ccd3ebaed4947"},"schema_version":"1.0","source":{"id":"1712.06174","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.06174","created_at":"2026-05-18T00:27:50Z"},{"alias_kind":"arxiv_version","alias_value":"1712.06174v1","created_at":"2026-05-18T00:27:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.06174","created_at":"2026-05-18T00:27:50Z"},{"alias_kind":"pith_short_12","alias_value":"JIDS7DY62P6O","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"JIDS7DY62P6O5CB2","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"JIDS7DY6","created_at":"2026-05-18T12:31:24Z"}],"graph_snapshots":[{"event_id":"sha256:42698fb702acda5d17bbffa597c0e5bb57f3f94dc90c292d95aef7b5688e6c37","target":"graph","created_at":"2026-05-18T00:27:50Z","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"},"paper":{"abstract_excerpt":"Deep Neural Networks (DNNs) are very popular these days, and are the subject of a very intense investigation. A DNN is made by layers of internal units (or neurons), each of which computes an affine combination of the output of the units in the previous layer, applies a nonlinear operator, and outputs the corresponding value (also known as activation). A commonly-used nonlinear operator is the so-called rectified linear unit (ReLU), whose output is just the maximum between its input value and zero. In this (and other similar cases like max pooling, where the max operation involves more than on","authors_text":"Jason Jo, Matteo Fischetti","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2017-12-17T20:11:39Z","title":"Deep Neural Networks as 0-1 Mixed Integer Linear Programs: A Feasibility Study"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.06174","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:df7e4da1fa7497477439a7889207a47ebe74899a2c6a57b27a19c475a2112a43","target":"record","created_at":"2026-05-18T00:27:50Z","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":"0c2317ab65e3a2d0d51675963663db6e05dbad3d8b7fe5a141b55c5439de84e8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2017-12-17T20:11:39Z","title_canon_sha256":"b546f9dfdee791aecac689ae20efb7162cc790e309965169c23ccd3ebaed4947"},"schema_version":"1.0","source":{"id":"1712.06174","kind":"arxiv","version":1}},"canonical_sha256":"4a072f8f1ed3fcee883a86f49b08827a1b539195aff11626f423e4b871b66e08","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4a072f8f1ed3fcee883a86f49b08827a1b539195aff11626f423e4b871b66e08","first_computed_at":"2026-05-18T00:27:50.934189Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:27:50.934189Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vltnoBveZ1dLN0qAEBF8RA3AxvIr6sz2t9eYXLmsSbTQo0IJNDxqKLUEMPWJvesAxyMwnnCRS6ZHK4BKPdS/Cg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:27:50.934767Z","signed_message":"canonical_sha256_bytes"},"source_id":"1712.06174","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:df7e4da1fa7497477439a7889207a47ebe74899a2c6a57b27a19c475a2112a43","sha256:42698fb702acda5d17bbffa597c0e5bb57f3f94dc90c292d95aef7b5688e6c37"],"state_sha256":"dc6180bb2ec40de1639cacaf6135f3aa9c252dcdbb667f884a1c22e5c984170d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lzkqNV13/YbTNmhjqo9Y/m5vV164FV6zuGgwamnGKlXndarmubIJmapWhGmLyaSjgRjGBnhSEkCJIzrksXzgAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T05:21:12.599887Z","bundle_sha256":"6b876a28f7e829b7244680f911a98a668bf9383e055251e5fb875068e67ec3f6"}}