{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:Q77QOOGPSSP5Z4R7KOI2LPKO6A","short_pith_number":"pith:Q77QOOGP","canonical_record":{"source":{"id":"1803.09356","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2018-03-25T22:01:32Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"f5729e1312f66d5bf8c9dffead7383f6d2609e736961fbe045ea1eb7ad366fef","abstract_canon_sha256":"b811e075d5dd4efdac559ed69c2375e6eeb5b29d3348f367de35c624aaa01ddd"},"schema_version":"1.0"},"canonical_sha256":"87ff0738cf949fdcf23f5391a5bd4ef00d8067d1123d4704e032e7bd93fcea3b","source":{"kind":"arxiv","id":"1803.09356","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.09356","created_at":"2026-05-18T00:20:11Z"},{"alias_kind":"arxiv_version","alias_value":"1803.09356v1","created_at":"2026-05-18T00:20:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.09356","created_at":"2026-05-18T00:20:11Z"},{"alias_kind":"pith_short_12","alias_value":"Q77QOOGPSSP5","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"Q77QOOGPSSP5Z4R7","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"Q77QOOGP","created_at":"2026-05-18T12:32:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:Q77QOOGPSSP5Z4R7KOI2LPKO6A","target":"record","payload":{"canonical_record":{"source":{"id":"1803.09356","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2018-03-25T22:01:32Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"f5729e1312f66d5bf8c9dffead7383f6d2609e736961fbe045ea1eb7ad366fef","abstract_canon_sha256":"b811e075d5dd4efdac559ed69c2375e6eeb5b29d3348f367de35c624aaa01ddd"},"schema_version":"1.0"},"canonical_sha256":"87ff0738cf949fdcf23f5391a5bd4ef00d8067d1123d4704e032e7bd93fcea3b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:20:11.885358Z","signature_b64":"6wAAFmEUXvamd3odo2a/O05GlyqXveq/IzSnGG6N7fX73uhIW/L4nxKzcgNcZxqkhfdSWr2sXKFSnuU641QzDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"87ff0738cf949fdcf23f5391a5bd4ef00d8067d1123d4704e032e7bd93fcea3b","last_reissued_at":"2026-05-18T00:20:11.884758Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:20:11.884758Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.09356","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:20:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pMkB4YleSJSiBbyqnjKY07b8WXuwsCw3qxm+HhfRpsZ1/QxyGL7rOeAFkBOlh2nZluUhYBm9ducm/r3ZAu1bCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T21:23:48.996931Z"},"content_sha256":"8b74f0be108fc6193f11da29429a38afb5bce27a3d47b367dc90022f8f68ec3d","schema_version":"1.0","event_id":"sha256:8b74f0be108fc6193f11da29429a38afb5bce27a3d47b367dc90022f8f68ec3d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:Q77QOOGPSSP5Z4R7KOI2LPKO6A","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Neural Nets via Forward State Transformation and Backward Loss Transformation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.NE","authors_text":"Bart Jacobs, David Sprunger","submitted_at":"2018-03-25T22:01:32Z","abstract_excerpt":"This article studies (multilayer perceptron) neural networks with an emphasis on the transformations involved --- both forward and backward --- in order to develop a semantical/logical perspective that is in line with standard program semantics. The common two-pass neural network training algorithms make this viewpoint particularly fitting. In the forward direction, neural networks act as state transformers. In the reverse direction, however, neural networks change losses of outputs to losses of inputs, thereby acting like a (real-valued) predicate transformer. In this way, backpropagation is "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.09356","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:20:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sVbsveCac6Wap2aBOMtrlMbopT/d6XTsI9E8Cj+c+2DWPmUVNeyq4czDFvV/iitgW9pU9edtU2Ggr2aAuh0rAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T21:23:48.997289Z"},"content_sha256":"75c715d19a8b2ffc49c68006520f0d9fac614fa060d8a91a25a4df41ae5cc8e2","schema_version":"1.0","event_id":"sha256:75c715d19a8b2ffc49c68006520f0d9fac614fa060d8a91a25a4df41ae5cc8e2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Q77QOOGPSSP5Z4R7KOI2LPKO6A/bundle.json","state_url":"https://pith.science/pith/Q77QOOGPSSP5Z4R7KOI2LPKO6A/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Q77QOOGPSSP5Z4R7KOI2LPKO6A/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-27T21:23:48Z","links":{"resolver":"https://pith.science/pith/Q77QOOGPSSP5Z4R7KOI2LPKO6A","bundle":"https://pith.science/pith/Q77QOOGPSSP5Z4R7KOI2LPKO6A/bundle.json","state":"https://pith.science/pith/Q77QOOGPSSP5Z4R7KOI2LPKO6A/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Q77QOOGPSSP5Z4R7KOI2LPKO6A/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:Q77QOOGPSSP5Z4R7KOI2LPKO6A","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":"b811e075d5dd4efdac559ed69c2375e6eeb5b29d3348f367de35c624aaa01ddd","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2018-03-25T22:01:32Z","title_canon_sha256":"f5729e1312f66d5bf8c9dffead7383f6d2609e736961fbe045ea1eb7ad366fef"},"schema_version":"1.0","source":{"id":"1803.09356","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.09356","created_at":"2026-05-18T00:20:11Z"},{"alias_kind":"arxiv_version","alias_value":"1803.09356v1","created_at":"2026-05-18T00:20:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.09356","created_at":"2026-05-18T00:20:11Z"},{"alias_kind":"pith_short_12","alias_value":"Q77QOOGPSSP5","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"Q77QOOGPSSP5Z4R7","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"Q77QOOGP","created_at":"2026-05-18T12:32:46Z"}],"graph_snapshots":[{"event_id":"sha256:75c715d19a8b2ffc49c68006520f0d9fac614fa060d8a91a25a4df41ae5cc8e2","target":"graph","created_at":"2026-05-18T00:20:11Z","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":"This article studies (multilayer perceptron) neural networks with an emphasis on the transformations involved --- both forward and backward --- in order to develop a semantical/logical perspective that is in line with standard program semantics. The common two-pass neural network training algorithms make this viewpoint particularly fitting. In the forward direction, neural networks act as state transformers. In the reverse direction, however, neural networks change losses of outputs to losses of inputs, thereby acting like a (real-valued) predicate transformer. In this way, backpropagation is ","authors_text":"Bart Jacobs, David Sprunger","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2018-03-25T22:01:32Z","title":"Neural Nets via Forward State Transformation and Backward Loss Transformation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.09356","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:8b74f0be108fc6193f11da29429a38afb5bce27a3d47b367dc90022f8f68ec3d","target":"record","created_at":"2026-05-18T00:20:11Z","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":"b811e075d5dd4efdac559ed69c2375e6eeb5b29d3348f367de35c624aaa01ddd","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2018-03-25T22:01:32Z","title_canon_sha256":"f5729e1312f66d5bf8c9dffead7383f6d2609e736961fbe045ea1eb7ad366fef"},"schema_version":"1.0","source":{"id":"1803.09356","kind":"arxiv","version":1}},"canonical_sha256":"87ff0738cf949fdcf23f5391a5bd4ef00d8067d1123d4704e032e7bd93fcea3b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"87ff0738cf949fdcf23f5391a5bd4ef00d8067d1123d4704e032e7bd93fcea3b","first_computed_at":"2026-05-18T00:20:11.884758Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:20:11.884758Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6wAAFmEUXvamd3odo2a/O05GlyqXveq/IzSnGG6N7fX73uhIW/L4nxKzcgNcZxqkhfdSWr2sXKFSnuU641QzDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:20:11.885358Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.09356","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8b74f0be108fc6193f11da29429a38afb5bce27a3d47b367dc90022f8f68ec3d","sha256:75c715d19a8b2ffc49c68006520f0d9fac614fa060d8a91a25a4df41ae5cc8e2"],"state_sha256":"6dac218a0ceca8baf411865265d20096b18bb541d0924ec7df2ed5243147eb41"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cIX9HQ96J/ZIrUfcKdvdoovcEOhvtLfwzVoBN6ERzT2FjjuzR4/OucIYJl0SHq5x4GJpqiTwqh+xYIWrB/6RAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T21:23:48.999674Z","bundle_sha256":"2a546e239baed21fde3f4de5a38211b24a445a6260771a3a353e38e3f041c611"}}