{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:P25EZBB4F2MQFJ4TJESKDKOB7X","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":"54f97d4118e218bf39b4ed690e7d1535d61a0a7079b6e3eb0b7f93ad955d9de5","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-04-02T05:16:59Z","title_canon_sha256":"54722b0278fe03227920097dec190939b7b83ef7df0a689c6e1a5769d9fb2104"},"schema_version":"1.0","source":{"id":"2404.01642","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.01642","created_at":"2026-07-05T10:08:15Z"},{"alias_kind":"arxiv_version","alias_value":"2404.01642v2","created_at":"2026-07-05T10:08:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.01642","created_at":"2026-07-05T10:08:15Z"},{"alias_kind":"pith_short_12","alias_value":"P25EZBB4F2MQ","created_at":"2026-07-05T10:08:15Z"},{"alias_kind":"pith_short_16","alias_value":"P25EZBB4F2MQFJ4T","created_at":"2026-07-05T10:08:15Z"},{"alias_kind":"pith_short_8","alias_value":"P25EZBB4","created_at":"2026-07-05T10:08:15Z"}],"graph_snapshots":[{"event_id":"sha256:3601e49015f70ae4c3eeeb2ffa669f5c7c53aca568771e8d00360f747243c997","target":"graph","created_at":"2026-07-05T10:08:15Z","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/2404.01642/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Deep neural networks (DNNs) are prone to various dependability issues, such as adversarial attacks, which hinder their adoption in safety-critical domains. Recently, NN repair techniques have been proposed to address these issues while preserving original performance by locating and modifying guilty neurons and their parameters. However, existing repair approaches are often limited to specific data sets and do not provide theoretical guarantees for the effectiveness of the repairs. To address these limitations, we introduce PatchPro, a novel patch-based approach for property-level repair of DN","authors_text":"Cheng-Chao Huang, Jianan Ma, Lijun Zhang, Pengfei Yang, Renjue Li, Xiaowei Huang, Zhiming Chi","cross_cats":["cs.CR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-04-02T05:16:59Z","title":"Patch Synthesis for Property Repair of Deep Neural Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.01642","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:11502202df8a15cd9236bd6eb20b8b6db997fbd481e5efb0c3651ecb78e1097e","target":"record","created_at":"2026-07-05T10:08:15Z","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":"54f97d4118e218bf39b4ed690e7d1535d61a0a7079b6e3eb0b7f93ad955d9de5","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-04-02T05:16:59Z","title_canon_sha256":"54722b0278fe03227920097dec190939b7b83ef7df0a689c6e1a5769d9fb2104"},"schema_version":"1.0","source":{"id":"2404.01642","kind":"arxiv","version":2}},"canonical_sha256":"7eba4c843c2e9902a7934924a1a9c1fdc94f17bc65cf7bcca0ae0508ef1e5753","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7eba4c843c2e9902a7934924a1a9c1fdc94f17bc65cf7bcca0ae0508ef1e5753","first_computed_at":"2026-07-05T10:08:15.339408Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:08:15.339408Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/F/uQk/OSJAb+4rlRz4JXyqRca03zTz40fUHrwjXwWXMpIJJJoTzqez/TMc8L9sG90PyfU6ZqVub8QYDkStyCw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:08:15.339871Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.01642","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:11502202df8a15cd9236bd6eb20b8b6db997fbd481e5efb0c3651ecb78e1097e","sha256:3601e49015f70ae4c3eeeb2ffa669f5c7c53aca568771e8d00360f747243c997"],"state_sha256":"28a09ea109bf45173525ac720118dcbec9f4f736744a7e79f71b27285ec11165"}