{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:FSFT25MSOP4VNFZLSIDBZZ5I2B","short_pith_number":"pith:FSFT25MS","canonical_record":{"source":{"id":"2305.01939","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-05-03T07:32:28Z","cross_cats_sorted":["cs.AI","cs.CV"],"title_canon_sha256":"802b4b9d28b6f891ea18c19e6d7e3946ebab26657cbcb517633a15b72d7672e4","abstract_canon_sha256":"5f24dbda93201f24a8b1747194136a54be5f8c0b203494ab22efbeece936c978"},"schema_version":"1.0"},"canonical_sha256":"2c8b3d759273f956972b92061ce7a8d0771ace51a3b6a2a96053a5c39f9f25ff","source":{"kind":"arxiv","id":"2305.01939","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.01939","created_at":"2026-07-05T09:06:39Z"},{"alias_kind":"arxiv_version","alias_value":"2305.01939v2","created_at":"2026-07-05T09:06:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.01939","created_at":"2026-07-05T09:06:39Z"},{"alias_kind":"pith_short_12","alias_value":"FSFT25MSOP4V","created_at":"2026-07-05T09:06:39Z"},{"alias_kind":"pith_short_16","alias_value":"FSFT25MSOP4VNFZL","created_at":"2026-07-05T09:06:39Z"},{"alias_kind":"pith_short_8","alias_value":"FSFT25MS","created_at":"2026-07-05T09:06:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:FSFT25MSOP4VNFZLSIDBZZ5I2B","target":"record","payload":{"canonical_record":{"source":{"id":"2305.01939","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-05-03T07:32:28Z","cross_cats_sorted":["cs.AI","cs.CV"],"title_canon_sha256":"802b4b9d28b6f891ea18c19e6d7e3946ebab26657cbcb517633a15b72d7672e4","abstract_canon_sha256":"5f24dbda93201f24a8b1747194136a54be5f8c0b203494ab22efbeece936c978"},"schema_version":"1.0"},"canonical_sha256":"2c8b3d759273f956972b92061ce7a8d0771ace51a3b6a2a96053a5c39f9f25ff","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:06:39.203776Z","signature_b64":"Xl2TxDPPb3iiEgONrvviJLvwo2QyJb75yQXacPYrU5vYNz2c0eVoAwtnW4ibeKz8n7dNuf3ymE324OM2xOK4CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2c8b3d759273f956972b92061ce7a8d0771ace51a3b6a2a96053a5c39f9f25ff","last_reissued_at":"2026-07-05T09:06:39.203249Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:06:39.203249Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2305.01939","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:06:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GR9oX/nSXh7r3ZWMb7MPJOeL2E/6CdqJr/yCqeeYcjGMgLmBZJrKkBR/WNQFHt8PqkYp71WpYEJVKaWfmDHoDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T12:11:34.294127Z"},"content_sha256":"8a3c969461ae9497e3489dac1676c51f3263cb04fe29606fd918558474b3f3fb","schema_version":"1.0","event_id":"sha256:8a3c969461ae9497e3489dac1676c51f3263cb04fe29606fd918558474b3f3fb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:FSFT25MSOP4VNFZLSIDBZZ5I2B","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Where We Have Arrived in Proving the Emergence of Sparse Symbolic Concepts in AI Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.CV"],"primary_cat":"cs.LG","authors_text":"Jiayang Gao, Qihan Ren, Quanshi Zhang, Wen Shen","submitted_at":"2023-05-03T07:32:28Z","abstract_excerpt":"This study aims to prove the emergence of symbolic concepts (or more precisely, sparse primitive inference patterns) in well-trained deep neural networks (DNNs). Specifically, we prove the following three conditions for the emergence. (i) The high-order derivatives of the network output with respect to the input variables are all zero. (ii) The DNN can be used on occluded samples and when the input sample is less occluded, the DNN will yield higher confidence. (iii) The confidence of the DNN does not significantly degrade on occluded samples. These conditions are quite common, and we prove tha"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.01939","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/2305.01939/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:06:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YSo+Y94ulvNiALB8jpx0tIS3EPGQZpwi221wOXVAT4U9t3v4+yMvTKoFy45crZv5DQeSea9OQOL8nvsXxxsoCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T12:11:34.294521Z"},"content_sha256":"0232f91c0cebf497135af4566501416b962ea0ee4f09ce037dc9b3358b2dc89c","schema_version":"1.0","event_id":"sha256:0232f91c0cebf497135af4566501416b962ea0ee4f09ce037dc9b3358b2dc89c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FSFT25MSOP4VNFZLSIDBZZ5I2B/bundle.json","state_url":"https://pith.science/pith/FSFT25MSOP4VNFZLSIDBZZ5I2B/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FSFT25MSOP4VNFZLSIDBZZ5I2B/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-07T12:11:34Z","links":{"resolver":"https://pith.science/pith/FSFT25MSOP4VNFZLSIDBZZ5I2B","bundle":"https://pith.science/pith/FSFT25MSOP4VNFZLSIDBZZ5I2B/bundle.json","state":"https://pith.science/pith/FSFT25MSOP4VNFZLSIDBZZ5I2B/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FSFT25MSOP4VNFZLSIDBZZ5I2B/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:FSFT25MSOP4VNFZLSIDBZZ5I2B","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":"5f24dbda93201f24a8b1747194136a54be5f8c0b203494ab22efbeece936c978","cross_cats_sorted":["cs.AI","cs.CV"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-05-03T07:32:28Z","title_canon_sha256":"802b4b9d28b6f891ea18c19e6d7e3946ebab26657cbcb517633a15b72d7672e4"},"schema_version":"1.0","source":{"id":"2305.01939","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.01939","created_at":"2026-07-05T09:06:39Z"},{"alias_kind":"arxiv_version","alias_value":"2305.01939v2","created_at":"2026-07-05T09:06:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.01939","created_at":"2026-07-05T09:06:39Z"},{"alias_kind":"pith_short_12","alias_value":"FSFT25MSOP4V","created_at":"2026-07-05T09:06:39Z"},{"alias_kind":"pith_short_16","alias_value":"FSFT25MSOP4VNFZL","created_at":"2026-07-05T09:06:39Z"},{"alias_kind":"pith_short_8","alias_value":"FSFT25MS","created_at":"2026-07-05T09:06:39Z"}],"graph_snapshots":[{"event_id":"sha256:0232f91c0cebf497135af4566501416b962ea0ee4f09ce037dc9b3358b2dc89c","target":"graph","created_at":"2026-07-05T09:06:39Z","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/2305.01939/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This study aims to prove the emergence of symbolic concepts (or more precisely, sparse primitive inference patterns) in well-trained deep neural networks (DNNs). Specifically, we prove the following three conditions for the emergence. (i) The high-order derivatives of the network output with respect to the input variables are all zero. (ii) The DNN can be used on occluded samples and when the input sample is less occluded, the DNN will yield higher confidence. (iii) The confidence of the DNN does not significantly degrade on occluded samples. These conditions are quite common, and we prove tha","authors_text":"Jiayang Gao, Qihan Ren, Quanshi Zhang, Wen Shen","cross_cats":["cs.AI","cs.CV"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-05-03T07:32:28Z","title":"Where We Have Arrived in Proving the Emergence of Sparse Symbolic Concepts in AI Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.01939","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:8a3c969461ae9497e3489dac1676c51f3263cb04fe29606fd918558474b3f3fb","target":"record","created_at":"2026-07-05T09:06:39Z","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":"5f24dbda93201f24a8b1747194136a54be5f8c0b203494ab22efbeece936c978","cross_cats_sorted":["cs.AI","cs.CV"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2023-05-03T07:32:28Z","title_canon_sha256":"802b4b9d28b6f891ea18c19e6d7e3946ebab26657cbcb517633a15b72d7672e4"},"schema_version":"1.0","source":{"id":"2305.01939","kind":"arxiv","version":2}},"canonical_sha256":"2c8b3d759273f956972b92061ce7a8d0771ace51a3b6a2a96053a5c39f9f25ff","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2c8b3d759273f956972b92061ce7a8d0771ace51a3b6a2a96053a5c39f9f25ff","first_computed_at":"2026-07-05T09:06:39.203249Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:06:39.203249Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Xl2TxDPPb3iiEgONrvviJLvwo2QyJb75yQXacPYrU5vYNz2c0eVoAwtnW4ibeKz8n7dNuf3ymE324OM2xOK4CA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:06:39.203776Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.01939","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8a3c969461ae9497e3489dac1676c51f3263cb04fe29606fd918558474b3f3fb","sha256:0232f91c0cebf497135af4566501416b962ea0ee4f09ce037dc9b3358b2dc89c"],"state_sha256":"3c3878551c24c51684161a4c2ce8d67e2986af2a0a2e564b9146d38d27f93151"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V3Luuu4yGtucYxIThc3R160nNE/x4La82xuGl5U3NwwqwhrRnHSUxk38ujeI3xEzl1lQ1p96xS1oNpmVI3zRBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T12:11:34.296409Z","bundle_sha256":"dc5a97dc1466ea654282d568dc620c49faafa050b36eb5f92f4b4caae972b79b"}}