{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:QT4EDRHDY55EDPSPVBVVTEXVVT","short_pith_number":"pith:QT4EDRHD","canonical_record":{"source":{"id":"2012.01872","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2020-12-03T12:31:07Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"da884a06d9cdcb3bc5b47cbc4a9c5d2c41830877eb41ddbe21dd6ea670bf6780","abstract_canon_sha256":"cf11c5e2af1e93ea0beb56e80cfba35300aaf8895be6de2c162dcf8762820f08"},"schema_version":"1.0"},"canonical_sha256":"84f841c4e3c77a41be4fa86b5992f5acdd6c874e54ef9723dc0dc00a8553ab63","source":{"kind":"arxiv","id":"2012.01872","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2012.01872","created_at":"2026-07-05T02:37:57Z"},{"alias_kind":"arxiv_version","alias_value":"2012.01872v2","created_at":"2026-07-05T02:37:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2012.01872","created_at":"2026-07-05T02:37:57Z"},{"alias_kind":"pith_short_12","alias_value":"QT4EDRHDY55E","created_at":"2026-07-05T02:37:57Z"},{"alias_kind":"pith_short_16","alias_value":"QT4EDRHDY55EDPSP","created_at":"2026-07-05T02:37:57Z"},{"alias_kind":"pith_short_8","alias_value":"QT4EDRHD","created_at":"2026-07-05T02:37:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:QT4EDRHDY55EDPSPVBVVTEXVVT","target":"record","payload":{"canonical_record":{"source":{"id":"2012.01872","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2020-12-03T12:31:07Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"da884a06d9cdcb3bc5b47cbc4a9c5d2c41830877eb41ddbe21dd6ea670bf6780","abstract_canon_sha256":"cf11c5e2af1e93ea0beb56e80cfba35300aaf8895be6de2c162dcf8762820f08"},"schema_version":"1.0"},"canonical_sha256":"84f841c4e3c77a41be4fa86b5992f5acdd6c874e54ef9723dc0dc00a8553ab63","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:37:57.192955Z","signature_b64":"ExAV9bsveFMYgHu/f61CvcwCm7pniDc61U0TmjtR2o1Cevt1iCd6oEn3gK+jiQk9BnzzQEnKPNyazfNQ+3A3AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"84f841c4e3c77a41be4fa86b5992f5acdd6c874e54ef9723dc0dc00a8553ab63","last_reissued_at":"2026-07-05T02:37:57.192560Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:37:57.192560Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2012.01872","source_version":2,"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-05T02:37:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3R4LTrby8WBw3YlhvKcI/r+bGnPCsGlYHccZZZ5WLO3yY3qwdedYT6N2AaCga9miVgEDrbXzUtnxMMPojJCGDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T13:02:40.953303Z"},"content_sha256":"0e290e2a1a92ec3d77fac9bd0e57ed633e2989525e328e75a9b3076e0dd60ef9","schema_version":"1.0","event_id":"sha256:0e290e2a1a92ec3d77fac9bd0e57ed633e2989525e328e75a9b3076e0dd60ef9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:QT4EDRHDY55EDPSPVBVVTEXVVT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards Repairing Neural Networks Correctly","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Guoliang Dong, Jingyi Wang, Jun Sun, Ting Dai, Xinyu Wang","submitted_at":"2020-12-03T12:31:07Z","abstract_excerpt":"Neural networks are increasingly applied to support decision making in safety-critical applications (like autonomous cars, unmanned aerial vehicles and face recognition based authentication). While many impressive static verification techniques have been proposed to tackle the correctness problem of neural networks, it is possible that static verification may never be sufficiently scalable to handle real-world neural networks. In this work, we propose a runtime verification method to ensure the correctness of neural networks. Given a neural network and a desirable safety property, we adopt sta"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2012.01872","kind":"arxiv","version":2},"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/2012.01872/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-05T02:37:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6LcvvNUJwDyP5fh2dxJXJaC+8Fnwy0lUWIkMuQhvc+1WJs3mcSzX9bJZpPxJEUlcLc79THiJaZ+9QK7zDOSgDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T13:02:40.953705Z"},"content_sha256":"ddc34bde8036208c4fae4658888100e22171cf5ec5ffd772a24c879940a44f5f","schema_version":"1.0","event_id":"sha256:ddc34bde8036208c4fae4658888100e22171cf5ec5ffd772a24c879940a44f5f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QT4EDRHDY55EDPSPVBVVTEXVVT/bundle.json","state_url":"https://pith.science/pith/QT4EDRHDY55EDPSPVBVVTEXVVT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QT4EDRHDY55EDPSPVBVVTEXVVT/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-07-08T13:02:40Z","links":{"resolver":"https://pith.science/pith/QT4EDRHDY55EDPSPVBVVTEXVVT","bundle":"https://pith.science/pith/QT4EDRHDY55EDPSPVBVVTEXVVT/bundle.json","state":"https://pith.science/pith/QT4EDRHDY55EDPSPVBVVTEXVVT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QT4EDRHDY55EDPSPVBVVTEXVVT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:QT4EDRHDY55EDPSPVBVVTEXVVT","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":"cf11c5e2af1e93ea0beb56e80cfba35300aaf8895be6de2c162dcf8762820f08","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2020-12-03T12:31:07Z","title_canon_sha256":"da884a06d9cdcb3bc5b47cbc4a9c5d2c41830877eb41ddbe21dd6ea670bf6780"},"schema_version":"1.0","source":{"id":"2012.01872","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2012.01872","created_at":"2026-07-05T02:37:57Z"},{"alias_kind":"arxiv_version","alias_value":"2012.01872v2","created_at":"2026-07-05T02:37:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2012.01872","created_at":"2026-07-05T02:37:57Z"},{"alias_kind":"pith_short_12","alias_value":"QT4EDRHDY55E","created_at":"2026-07-05T02:37:57Z"},{"alias_kind":"pith_short_16","alias_value":"QT4EDRHDY55EDPSP","created_at":"2026-07-05T02:37:57Z"},{"alias_kind":"pith_short_8","alias_value":"QT4EDRHD","created_at":"2026-07-05T02:37:57Z"}],"graph_snapshots":[{"event_id":"sha256:ddc34bde8036208c4fae4658888100e22171cf5ec5ffd772a24c879940a44f5f","target":"graph","created_at":"2026-07-05T02:37:57Z","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/2012.01872/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Neural networks are increasingly applied to support decision making in safety-critical applications (like autonomous cars, unmanned aerial vehicles and face recognition based authentication). While many impressive static verification techniques have been proposed to tackle the correctness problem of neural networks, it is possible that static verification may never be sufficiently scalable to handle real-world neural networks. In this work, we propose a runtime verification method to ensure the correctness of neural networks. Given a neural network and a desirable safety property, we adopt sta","authors_text":"Guoliang Dong, Jingyi Wang, Jun Sun, Ting Dai, Xinyu Wang","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2020-12-03T12:31:07Z","title":"Towards Repairing Neural Networks Correctly"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2012.01872","kind":"arxiv","version":2},"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:0e290e2a1a92ec3d77fac9bd0e57ed633e2989525e328e75a9b3076e0dd60ef9","target":"record","created_at":"2026-07-05T02:37:57Z","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":"cf11c5e2af1e93ea0beb56e80cfba35300aaf8895be6de2c162dcf8762820f08","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2020-12-03T12:31:07Z","title_canon_sha256":"da884a06d9cdcb3bc5b47cbc4a9c5d2c41830877eb41ddbe21dd6ea670bf6780"},"schema_version":"1.0","source":{"id":"2012.01872","kind":"arxiv","version":2}},"canonical_sha256":"84f841c4e3c77a41be4fa86b5992f5acdd6c874e54ef9723dc0dc00a8553ab63","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"84f841c4e3c77a41be4fa86b5992f5acdd6c874e54ef9723dc0dc00a8553ab63","first_computed_at":"2026-07-05T02:37:57.192560Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:37:57.192560Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ExAV9bsveFMYgHu/f61CvcwCm7pniDc61U0TmjtR2o1Cevt1iCd6oEn3gK+jiQk9BnzzQEnKPNyazfNQ+3A3AQ==","signature_status":"signed_v1","signed_at":"2026-07-05T02:37:57.192955Z","signed_message":"canonical_sha256_bytes"},"source_id":"2012.01872","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0e290e2a1a92ec3d77fac9bd0e57ed633e2989525e328e75a9b3076e0dd60ef9","sha256:ddc34bde8036208c4fae4658888100e22171cf5ec5ffd772a24c879940a44f5f"],"state_sha256":"9d5680838396c1b67b721d0a16bc0e4ed789c43cbc1b50ea46919102e796862e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8C8cXrIepKz0QZ49GEAq5R9CSXlN2gOb6R0VfV3C1g5RgQvuRh7etHMz3vbOghKpSrhKES+yxQxKrBrkgiRjCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-08T13:02:40.956472Z","bundle_sha256":"a6c54e120464415f1aa3d59738e98505b38dd157fac412bf7d96bbe229ce21c5"}}