{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:GWC4RIJGPPQKZ3IABLBWLBCPNZ","short_pith_number":"pith:GWC4RIJG","canonical_record":{"source":{"id":"2412.13229","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-12-17T11:40:49Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"c41860f7a37f3e519cfcc5d8453c9d0e720259d0960605baf94b0a53a604cb7b","abstract_canon_sha256":"c5d101d9e50cfdc9f544373764d04bb1ba290e10c9cbbe26302873e164f0842a"},"schema_version":"1.0"},"canonical_sha256":"3585c8a1267be0aced000ac365844f6e4b6e2e588e79e257ddb7d6e5aee764ac","source":{"kind":"arxiv","id":"2412.13229","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.13229","created_at":"2026-07-05T09:55:15Z"},{"alias_kind":"arxiv_version","alias_value":"2412.13229v2","created_at":"2026-07-05T09:55:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.13229","created_at":"2026-07-05T09:55:15Z"},{"alias_kind":"pith_short_12","alias_value":"GWC4RIJGPPQK","created_at":"2026-07-05T09:55:15Z"},{"alias_kind":"pith_short_16","alias_value":"GWC4RIJGPPQKZ3IA","created_at":"2026-07-05T09:55:15Z"},{"alias_kind":"pith_short_8","alias_value":"GWC4RIJG","created_at":"2026-07-05T09:55:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:GWC4RIJGPPQKZ3IABLBWLBCPNZ","target":"record","payload":{"canonical_record":{"source":{"id":"2412.13229","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-12-17T11:40:49Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"c41860f7a37f3e519cfcc5d8453c9d0e720259d0960605baf94b0a53a604cb7b","abstract_canon_sha256":"c5d101d9e50cfdc9f544373764d04bb1ba290e10c9cbbe26302873e164f0842a"},"schema_version":"1.0"},"canonical_sha256":"3585c8a1267be0aced000ac365844f6e4b6e2e588e79e257ddb7d6e5aee764ac","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:55:15.090119Z","signature_b64":"LW88ydPkfhbYjzKZXnhtWsLkAsE+R1k0BGXnr70kzHArN6eHG/eO1JD1+hlZ+E3db+ZUMKVSoySo/aiMAs6dCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3585c8a1267be0aced000ac365844f6e4b6e2e588e79e257ddb7d6e5aee764ac","last_reissued_at":"2026-07-05T09:55:15.089709Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:55:15.089709Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2412.13229","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-05T09:55:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GP/m4h7qJrD7JeoCCb55P3LfyQF7FzKNXZaBPR6M/4De7wB46QE5bn7eWq68Sunl1KLjwuE/8k+G8iinxOpGDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T11:31:11.412088Z"},"content_sha256":"287661f943b7386196a2a838b8a8470426bc90d97d466e39339b248321fe9810","schema_version":"1.0","event_id":"sha256:287661f943b7386196a2a838b8a8470426bc90d97d466e39339b248321fe9810"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:GWC4RIJGPPQKZ3IABLBWLBCPNZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Fu Song, Jun Sun, Lijun Zhang, Pengfei Yang, Xiaowei Huang, Zhe Zhao, Zongxin Liu","submitted_at":"2024-12-17T11:40:49Z","abstract_excerpt":"Formal verification provides critical security assurances for neural networks, yet its practical application suffers from the long verification time. This work introduces a novel method for training verification-friendly neural networks, which are robust, easy to verify, and relatively accurate. Our method integrates neuron behavior consistency into the training process, making neuron activation states remain consistent across different inputs within a local neighborhood. This reduces the number of unstable neurons and tightens the bounds of neurons thereby enhancing the network's verifiabilit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.13229","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/2412.13229/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-05T09:55:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZVHE3Ia1ScEcZXWi2fxGS1umtYlCQMZSooRwRnGAVWAijxtUCew2VGKK6KgP13GgwUmNyUOheb77cNjqK/mSCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T11:31:11.412475Z"},"content_sha256":"b3bc33ec71bc6795a6ab3d018229b332bf3071c97b00f7f3074c57aad55de891","schema_version":"1.0","event_id":"sha256:b3bc33ec71bc6795a6ab3d018229b332bf3071c97b00f7f3074c57aad55de891"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GWC4RIJGPPQKZ3IABLBWLBCPNZ/bundle.json","state_url":"https://pith.science/pith/GWC4RIJGPPQKZ3IABLBWLBCPNZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GWC4RIJGPPQKZ3IABLBWLBCPNZ/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-07T11:31:11Z","links":{"resolver":"https://pith.science/pith/GWC4RIJGPPQKZ3IABLBWLBCPNZ","bundle":"https://pith.science/pith/GWC4RIJGPPQKZ3IABLBWLBCPNZ/bundle.json","state":"https://pith.science/pith/GWC4RIJGPPQKZ3IABLBWLBCPNZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GWC4RIJGPPQKZ3IABLBWLBCPNZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:GWC4RIJGPPQKZ3IABLBWLBCPNZ","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":"c5d101d9e50cfdc9f544373764d04bb1ba290e10c9cbbe26302873e164f0842a","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-12-17T11:40:49Z","title_canon_sha256":"c41860f7a37f3e519cfcc5d8453c9d0e720259d0960605baf94b0a53a604cb7b"},"schema_version":"1.0","source":{"id":"2412.13229","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.13229","created_at":"2026-07-05T09:55:15Z"},{"alias_kind":"arxiv_version","alias_value":"2412.13229v2","created_at":"2026-07-05T09:55:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.13229","created_at":"2026-07-05T09:55:15Z"},{"alias_kind":"pith_short_12","alias_value":"GWC4RIJGPPQK","created_at":"2026-07-05T09:55:15Z"},{"alias_kind":"pith_short_16","alias_value":"GWC4RIJGPPQKZ3IA","created_at":"2026-07-05T09:55:15Z"},{"alias_kind":"pith_short_8","alias_value":"GWC4RIJG","created_at":"2026-07-05T09:55:15Z"}],"graph_snapshots":[{"event_id":"sha256:b3bc33ec71bc6795a6ab3d018229b332bf3071c97b00f7f3074c57aad55de891","target":"graph","created_at":"2026-07-05T09:55: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/2412.13229/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Formal verification provides critical security assurances for neural networks, yet its practical application suffers from the long verification time. This work introduces a novel method for training verification-friendly neural networks, which are robust, easy to verify, and relatively accurate. Our method integrates neuron behavior consistency into the training process, making neuron activation states remain consistent across different inputs within a local neighborhood. This reduces the number of unstable neurons and tightens the bounds of neurons thereby enhancing the network's verifiabilit","authors_text":"Fu Song, Jun Sun, Lijun Zhang, Pengfei Yang, Xiaowei Huang, Zhe Zhao, Zongxin Liu","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-12-17T11:40:49Z","title":"Training Verification-Friendly Neural Networks via Neuron Behavior Consistency"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.13229","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:287661f943b7386196a2a838b8a8470426bc90d97d466e39339b248321fe9810","target":"record","created_at":"2026-07-05T09:55: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":"c5d101d9e50cfdc9f544373764d04bb1ba290e10c9cbbe26302873e164f0842a","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2024-12-17T11:40:49Z","title_canon_sha256":"c41860f7a37f3e519cfcc5d8453c9d0e720259d0960605baf94b0a53a604cb7b"},"schema_version":"1.0","source":{"id":"2412.13229","kind":"arxiv","version":2}},"canonical_sha256":"3585c8a1267be0aced000ac365844f6e4b6e2e588e79e257ddb7d6e5aee764ac","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3585c8a1267be0aced000ac365844f6e4b6e2e588e79e257ddb7d6e5aee764ac","first_computed_at":"2026-07-05T09:55:15.089709Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:55:15.089709Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LW88ydPkfhbYjzKZXnhtWsLkAsE+R1k0BGXnr70kzHArN6eHG/eO1JD1+hlZ+E3db+ZUMKVSoySo/aiMAs6dCw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:55:15.090119Z","signed_message":"canonical_sha256_bytes"},"source_id":"2412.13229","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:287661f943b7386196a2a838b8a8470426bc90d97d466e39339b248321fe9810","sha256:b3bc33ec71bc6795a6ab3d018229b332bf3071c97b00f7f3074c57aad55de891"],"state_sha256":"14c135e7e886d0844caa3037a575bcea0a5e9f4393158f1b93e7443e38989dd3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NaVHwCPyDHHF8znzakgtbsypdflAG+JueyMCAe1ZKDLqDbavRhVCXQgwtU/o3CO/MbibG0AuvjtRQ2UUcrXaCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T11:31:11.414447Z","bundle_sha256":"131802c7783adb5f22f26de5a776cfa620ae0d1d37561aeb604124b3374c4f5c"}}