{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:GKOUAIGSEIS5VQAFCHMPKQKAW7","short_pith_number":"pith:GKOUAIGS","canonical_record":{"source":{"id":"1805.00164","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-05-01T02:58:21Z","cross_cats_sorted":[],"title_canon_sha256":"54976f8d4e2bcbd1bed079802aec2101818e8d873dcf67c930873ae7dc4b49a8","abstract_canon_sha256":"9cbdee22bfac8d9747a072e197855cf4306504318ab6902ad717e016869265e9"},"schema_version":"1.0"},"canonical_sha256":"329d4020d22225dac00511d8f54140b7ebcddc83fc6d7725d7bd3c2f85a9e8a0","source":{"kind":"arxiv","id":"1805.00164","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.00164","created_at":"2026-05-18T00:17:10Z"},{"alias_kind":"arxiv_version","alias_value":"1805.00164v1","created_at":"2026-05-18T00:17:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.00164","created_at":"2026-05-18T00:17:10Z"},{"alias_kind":"pith_short_12","alias_value":"GKOUAIGSEIS5","created_at":"2026-05-18T12:32:25Z"},{"alias_kind":"pith_short_16","alias_value":"GKOUAIGSEIS5VQAF","created_at":"2026-05-18T12:32:25Z"},{"alias_kind":"pith_short_8","alias_value":"GKOUAIGS","created_at":"2026-05-18T12:32:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:GKOUAIGSEIS5VQAFCHMPKQKAW7","target":"record","payload":{"canonical_record":{"source":{"id":"1805.00164","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-05-01T02:58:21Z","cross_cats_sorted":[],"title_canon_sha256":"54976f8d4e2bcbd1bed079802aec2101818e8d873dcf67c930873ae7dc4b49a8","abstract_canon_sha256":"9cbdee22bfac8d9747a072e197855cf4306504318ab6902ad717e016869265e9"},"schema_version":"1.0"},"canonical_sha256":"329d4020d22225dac00511d8f54140b7ebcddc83fc6d7725d7bd3c2f85a9e8a0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:10.410443Z","signature_b64":"oSebZka6TDPgv665PUT3PT8s0vbb4q7NR1Ioml/BMB2L9QL0aa9i79gg34jB8rCSQa2RhM+0+du9nALylxWWDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"329d4020d22225dac00511d8f54140b7ebcddc83fc6d7725d7bd3c2f85a9e8a0","last_reissued_at":"2026-05-18T00:17:10.409912Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:10.409912Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1805.00164","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:17:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Lk0iAwsvYo0iA/mb32QvBAT693qtPW3g9V9hFSNwPGyTvB6q6J7HzaOHEiTOBe0CcM0t/PyTxaT4OjxUQ9P4Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T23:36:18.000039Z"},"content_sha256":"3a5a2d1d3f7cdffc78a1d2a6cf3b17b9ce849adee6ceb83eae2ec3dff0b0f166","schema_version":"1.0","event_id":"sha256:3a5a2d1d3f7cdffc78a1d2a6cf3b17b9ce849adee6ceb83eae2ec3dff0b0f166"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:GKOUAIGSEIS5VQAFCHMPKQKAW7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Affine Multiplexing Networks: System Analysis, Learning, and Computation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Ivan Papusha, Niklas Lauffer, Steven Carr, Ufuk Topcu","submitted_at":"2018-05-01T02:58:21Z","abstract_excerpt":"We introduce a novel architecture and computational framework for formal, automated analysis of systems with a broad set of nonlinearities in the feedback loop, such as neural networks, vision controllers, switched systems, and even simple programs. We call this computational structure an affine multiplexing network (AMN). The architecture is based on interconnections of two basic conceptual building blocks: multiplexers ($\\mu$), and affine transformations ($\\alpha$). When attached together appropriately, these building blocks translate to conjunctions and disjunctions of affine statements, re"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.00164","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:17:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"srPlMW4P3VaJBNO3uhDSpeB8R97UpRdHFQT1595swHYRL6z9rrJ6HYx1zznvuiabd92hPoIbSl9n9wFUxiGsBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T23:36:18.000488Z"},"content_sha256":"7d3d47343bb858bd30ebcd01087526fa4e32bd9c132c2df45d617f10d2079a4a","schema_version":"1.0","event_id":"sha256:7d3d47343bb858bd30ebcd01087526fa4e32bd9c132c2df45d617f10d2079a4a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GKOUAIGSEIS5VQAFCHMPKQKAW7/bundle.json","state_url":"https://pith.science/pith/GKOUAIGSEIS5VQAFCHMPKQKAW7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GKOUAIGSEIS5VQAFCHMPKQKAW7/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-05-30T23:36:18Z","links":{"resolver":"https://pith.science/pith/GKOUAIGSEIS5VQAFCHMPKQKAW7","bundle":"https://pith.science/pith/GKOUAIGSEIS5VQAFCHMPKQKAW7/bundle.json","state":"https://pith.science/pith/GKOUAIGSEIS5VQAFCHMPKQKAW7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GKOUAIGSEIS5VQAFCHMPKQKAW7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:GKOUAIGSEIS5VQAFCHMPKQKAW7","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":"9cbdee22bfac8d9747a072e197855cf4306504318ab6902ad717e016869265e9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-05-01T02:58:21Z","title_canon_sha256":"54976f8d4e2bcbd1bed079802aec2101818e8d873dcf67c930873ae7dc4b49a8"},"schema_version":"1.0","source":{"id":"1805.00164","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.00164","created_at":"2026-05-18T00:17:10Z"},{"alias_kind":"arxiv_version","alias_value":"1805.00164v1","created_at":"2026-05-18T00:17:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.00164","created_at":"2026-05-18T00:17:10Z"},{"alias_kind":"pith_short_12","alias_value":"GKOUAIGSEIS5","created_at":"2026-05-18T12:32:25Z"},{"alias_kind":"pith_short_16","alias_value":"GKOUAIGSEIS5VQAF","created_at":"2026-05-18T12:32:25Z"},{"alias_kind":"pith_short_8","alias_value":"GKOUAIGS","created_at":"2026-05-18T12:32:25Z"}],"graph_snapshots":[{"event_id":"sha256:7d3d47343bb858bd30ebcd01087526fa4e32bd9c132c2df45d617f10d2079a4a","target":"graph","created_at":"2026-05-18T00:17:10Z","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":"We introduce a novel architecture and computational framework for formal, automated analysis of systems with a broad set of nonlinearities in the feedback loop, such as neural networks, vision controllers, switched systems, and even simple programs. We call this computational structure an affine multiplexing network (AMN). The architecture is based on interconnections of two basic conceptual building blocks: multiplexers ($\\mu$), and affine transformations ($\\alpha$). When attached together appropriately, these building blocks translate to conjunctions and disjunctions of affine statements, re","authors_text":"Ivan Papusha, Niklas Lauffer, Steven Carr, Ufuk Topcu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-05-01T02:58:21Z","title":"Affine Multiplexing Networks: System Analysis, Learning, and Computation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.00164","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:3a5a2d1d3f7cdffc78a1d2a6cf3b17b9ce849adee6ceb83eae2ec3dff0b0f166","target":"record","created_at":"2026-05-18T00:17:10Z","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":"9cbdee22bfac8d9747a072e197855cf4306504318ab6902ad717e016869265e9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-05-01T02:58:21Z","title_canon_sha256":"54976f8d4e2bcbd1bed079802aec2101818e8d873dcf67c930873ae7dc4b49a8"},"schema_version":"1.0","source":{"id":"1805.00164","kind":"arxiv","version":1}},"canonical_sha256":"329d4020d22225dac00511d8f54140b7ebcddc83fc6d7725d7bd3c2f85a9e8a0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"329d4020d22225dac00511d8f54140b7ebcddc83fc6d7725d7bd3c2f85a9e8a0","first_computed_at":"2026-05-18T00:17:10.409912Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:17:10.409912Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oSebZka6TDPgv665PUT3PT8s0vbb4q7NR1Ioml/BMB2L9QL0aa9i79gg34jB8rCSQa2RhM+0+du9nALylxWWDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:17:10.410443Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.00164","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3a5a2d1d3f7cdffc78a1d2a6cf3b17b9ce849adee6ceb83eae2ec3dff0b0f166","sha256:7d3d47343bb858bd30ebcd01087526fa4e32bd9c132c2df45d617f10d2079a4a"],"state_sha256":"565f402b769a4cd729f865f69becd7aa5a4d600dc7974d410da6991577f04e06"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5veu8FTcVSZ59WwwL45JLxL2zTMKsLAb9QTodh7d65tiWelUiJ8n4K1tVKoVdLnzynCLM8p3jp2NXxe41YQ2Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T23:36:18.003716Z","bundle_sha256":"3f11398458992268f94e5bdbfbcf4e33bc7125ef3e6d4a3bb694593e9fb12713"}}