{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:JVMNWDHKCHINRYFWE7YSF7IYWL","short_pith_number":"pith:JVMNWDHK","canonical_record":{"source":{"id":"2103.12535","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-03-23T13:44:01Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"bcda319e4f5372d86a9ed3fdbf53f7585aedbcba39e82cc599b7c0470c49253a","abstract_canon_sha256":"717b1cbbd993445eb883a285507bae9493b6cf22f1b16930eb1c6fc516566195"},"schema_version":"1.0"},"canonical_sha256":"4d58db0cea11d0d8e0b627f122fd18b2cc8af871ffb263137106c16c7ac2ced6","source":{"kind":"arxiv","id":"2103.12535","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2103.12535","created_at":"2026-07-05T02:49:28Z"},{"alias_kind":"arxiv_version","alias_value":"2103.12535v2","created_at":"2026-07-05T02:49:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2103.12535","created_at":"2026-07-05T02:49:28Z"},{"alias_kind":"pith_short_12","alias_value":"JVMNWDHKCHIN","created_at":"2026-07-05T02:49:28Z"},{"alias_kind":"pith_short_16","alias_value":"JVMNWDHKCHINRYFW","created_at":"2026-07-05T02:49:28Z"},{"alias_kind":"pith_short_8","alias_value":"JVMNWDHK","created_at":"2026-07-05T02:49:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:JVMNWDHKCHINRYFWE7YSF7IYWL","target":"record","payload":{"canonical_record":{"source":{"id":"2103.12535","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-03-23T13:44:01Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"bcda319e4f5372d86a9ed3fdbf53f7585aedbcba39e82cc599b7c0470c49253a","abstract_canon_sha256":"717b1cbbd993445eb883a285507bae9493b6cf22f1b16930eb1c6fc516566195"},"schema_version":"1.0"},"canonical_sha256":"4d58db0cea11d0d8e0b627f122fd18b2cc8af871ffb263137106c16c7ac2ced6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:49:28.429488Z","signature_b64":"m73J1hjjJFr6KOhzbmU4XmyUu5Je2WR3z+Lhweyy0D7gJj4GzQ01ZshIpHMSDkwrG96wTz0zVfzAJxbfaNwzCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4d58db0cea11d0d8e0b627f122fd18b2cc8af871ffb263137106c16c7ac2ced6","last_reissued_at":"2026-07-05T02:49:28.429044Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:49:28.429044Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2103.12535","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:49:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"khvalGA20bogJp26/HkXsu4RHAgh8BCMQGUL3oA3kTUC/+ktpB+U6CY5QCmRwVALDSwazqWeus/0Izwo5dZLCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-25T15:56:35.331150Z"},"content_sha256":"bacd2029ff0c9681aff6dea378080a611981fe03d08533ee349a01e49248029f","schema_version":"1.0","event_id":"sha256:bacd2029ff0c9681aff6dea378080a611981fe03d08533ee349a01e49248029f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:JVMNWDHKCHINRYFWE7YSF7IYWL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"NNrepair: Constraint-based Repair of Neural Network Classifiers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Corina Pasareanu, Divya Gopinath, Muhammad Usman, Yannic Noller, Youcheng Sun","submitted_at":"2021-03-23T13:44:01Z","abstract_excerpt":"We present NNrepair, a constraint-based technique for repairing neural network classifiers. The technique aims to fix the logic of the network at an intermediate layer or at the last layer. NNrepair first uses fault localization to find potentially faulty network parameters (such as the weights) and then performs repair using constraint solving to apply small modifications to the parameters to remedy the defects. We present novel strategies to enable precise yet efficient repair such as inferring correctness specifications to act as oracles for intermediate layer repair, and generation of expe"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2103.12535","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/2103.12535/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:49:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Sfp1L6bdq9ujGneIrDdwphFlxKZvfiBwuq508i0Kt7KWeZT6PU2jxE4GlAY5QF2YvyVioOaQzk8NVfxWMH3mAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-25T15:56:35.331528Z"},"content_sha256":"765967594672e1ff1f7e775c0936b2ffc3600ab5605b5ac921b53c40a199ff0b","schema_version":"1.0","event_id":"sha256:765967594672e1ff1f7e775c0936b2ffc3600ab5605b5ac921b53c40a199ff0b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JVMNWDHKCHINRYFWE7YSF7IYWL/bundle.json","state_url":"https://pith.science/pith/JVMNWDHKCHINRYFWE7YSF7IYWL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JVMNWDHKCHINRYFWE7YSF7IYWL/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-25T15:56:35Z","links":{"resolver":"https://pith.science/pith/JVMNWDHKCHINRYFWE7YSF7IYWL","bundle":"https://pith.science/pith/JVMNWDHKCHINRYFWE7YSF7IYWL/bundle.json","state":"https://pith.science/pith/JVMNWDHKCHINRYFWE7YSF7IYWL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JVMNWDHKCHINRYFWE7YSF7IYWL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:JVMNWDHKCHINRYFWE7YSF7IYWL","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":"717b1cbbd993445eb883a285507bae9493b6cf22f1b16930eb1c6fc516566195","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-03-23T13:44:01Z","title_canon_sha256":"bcda319e4f5372d86a9ed3fdbf53f7585aedbcba39e82cc599b7c0470c49253a"},"schema_version":"1.0","source":{"id":"2103.12535","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2103.12535","created_at":"2026-07-05T02:49:28Z"},{"alias_kind":"arxiv_version","alias_value":"2103.12535v2","created_at":"2026-07-05T02:49:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2103.12535","created_at":"2026-07-05T02:49:28Z"},{"alias_kind":"pith_short_12","alias_value":"JVMNWDHKCHIN","created_at":"2026-07-05T02:49:28Z"},{"alias_kind":"pith_short_16","alias_value":"JVMNWDHKCHINRYFW","created_at":"2026-07-05T02:49:28Z"},{"alias_kind":"pith_short_8","alias_value":"JVMNWDHK","created_at":"2026-07-05T02:49:28Z"}],"graph_snapshots":[{"event_id":"sha256:765967594672e1ff1f7e775c0936b2ffc3600ab5605b5ac921b53c40a199ff0b","target":"graph","created_at":"2026-07-05T02:49:28Z","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/2103.12535/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present NNrepair, a constraint-based technique for repairing neural network classifiers. The technique aims to fix the logic of the network at an intermediate layer or at the last layer. NNrepair first uses fault localization to find potentially faulty network parameters (such as the weights) and then performs repair using constraint solving to apply small modifications to the parameters to remedy the defects. We present novel strategies to enable precise yet efficient repair such as inferring correctness specifications to act as oracles for intermediate layer repair, and generation of expe","authors_text":"Corina Pasareanu, Divya Gopinath, Muhammad Usman, Yannic Noller, Youcheng Sun","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-03-23T13:44:01Z","title":"NNrepair: Constraint-based Repair of Neural Network Classifiers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2103.12535","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:bacd2029ff0c9681aff6dea378080a611981fe03d08533ee349a01e49248029f","target":"record","created_at":"2026-07-05T02:49:28Z","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":"717b1cbbd993445eb883a285507bae9493b6cf22f1b16930eb1c6fc516566195","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-03-23T13:44:01Z","title_canon_sha256":"bcda319e4f5372d86a9ed3fdbf53f7585aedbcba39e82cc599b7c0470c49253a"},"schema_version":"1.0","source":{"id":"2103.12535","kind":"arxiv","version":2}},"canonical_sha256":"4d58db0cea11d0d8e0b627f122fd18b2cc8af871ffb263137106c16c7ac2ced6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4d58db0cea11d0d8e0b627f122fd18b2cc8af871ffb263137106c16c7ac2ced6","first_computed_at":"2026-07-05T02:49:28.429044Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:49:28.429044Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"m73J1hjjJFr6KOhzbmU4XmyUu5Je2WR3z+Lhweyy0D7gJj4GzQ01ZshIpHMSDkwrG96wTz0zVfzAJxbfaNwzCg==","signature_status":"signed_v1","signed_at":"2026-07-05T02:49:28.429488Z","signed_message":"canonical_sha256_bytes"},"source_id":"2103.12535","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bacd2029ff0c9681aff6dea378080a611981fe03d08533ee349a01e49248029f","sha256:765967594672e1ff1f7e775c0936b2ffc3600ab5605b5ac921b53c40a199ff0b"],"state_sha256":"702a62bd50670ae3141c7542c6dbb3bb6fb3019873287078c8ba02f3a2a145f2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"srz8jirnJ6tNVZyi5/X4wX45PJmhhPpPrbGD9vBzk/AQCLNst110lbyhkJBLGG+p5S3uyO09JtmKqFwkDxDaBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-25T15:56:35.333599Z","bundle_sha256":"b2d16fc19d58732dcdb8136a06ac9bd9b6dfc28a09c78296f23678af5bf3a883"}}