{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:D33WY4OVJFOOKS7LFKN3FQV3FM","short_pith_number":"pith:D33WY4OV","canonical_record":{"source":{"id":"2505.02627","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-05T13:13:46Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"6a634f5e31a3e16c4f72cb8bb1c57f5efb3debcf748e80b50c662d48f706df95","abstract_canon_sha256":"9323bbcec2c54dab856597c644e6b936a9d1133497bbbbe738f64b89ef58c9ae"},"schema_version":"1.0"},"canonical_sha256":"1ef76c71d5495ce54beb2a9bb2c2bb2b3b264ac90545a9b32c6072023b0b48e3","source":{"kind":"arxiv","id":"2505.02627","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.02627","created_at":"2026-07-05T10:58:40Z"},{"alias_kind":"arxiv_version","alias_value":"2505.02627v1","created_at":"2026-07-05T10:58:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.02627","created_at":"2026-07-05T10:58:40Z"},{"alias_kind":"pith_short_12","alias_value":"D33WY4OVJFOO","created_at":"2026-07-05T10:58:40Z"},{"alias_kind":"pith_short_16","alias_value":"D33WY4OVJFOOKS7L","created_at":"2026-07-05T10:58:40Z"},{"alias_kind":"pith_short_8","alias_value":"D33WY4OV","created_at":"2026-07-05T10:58:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:D33WY4OVJFOOKS7LFKN3FQV3FM","target":"record","payload":{"canonical_record":{"source":{"id":"2505.02627","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-05T13:13:46Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"6a634f5e31a3e16c4f72cb8bb1c57f5efb3debcf748e80b50c662d48f706df95","abstract_canon_sha256":"9323bbcec2c54dab856597c644e6b936a9d1133497bbbbe738f64b89ef58c9ae"},"schema_version":"1.0"},"canonical_sha256":"1ef76c71d5495ce54beb2a9bb2c2bb2b3b264ac90545a9b32c6072023b0b48e3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:58:40.564608Z","signature_b64":"lhx5LmaDE50wZFBhQKBNZjRta4D0BegEp/GJf2bojg37dIWLNDZUubnubTj1aHSzM8tiH67R7MO7f2ipzC5nBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1ef76c71d5495ce54beb2a9bb2c2bb2b3b264ac90545a9b32c6072023b0b48e3","last_reissued_at":"2026-07-05T10:58:40.564229Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:58:40.564229Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.02627","source_version":1,"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-05T10:58:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xHeWB/vVB2BfTKXUviiuQBdzWN6ZsP/W0C3wfFhvPehfl+c4KmKPJ1Y+akWBSQrQ9iTlTP2dXcQPkM30flYoAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T12:37:56.128072Z"},"content_sha256":"17d091cd52443fd876c3188259cc460c3360360b6fe277fbb444149d7626817d","schema_version":"1.0","event_id":"sha256:17d091cd52443fd876c3188259cc460c3360360b6fe277fbb444149d7626817d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:D33WY4OVJFOOKS7LFKN3FQV3FM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Theoretical Analysis of Compositional Generalization in Neural Networks: A Necessary and Sufficient Condition","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Yuanpeng Li","submitted_at":"2025-05-05T13:13:46Z","abstract_excerpt":"Compositional generalization is a crucial property in artificial intelligence, enabling models to handle novel combinations of known components. While most deep learning models lack this capability, certain models succeed in specific tasks, suggesting the existence of governing conditions. This paper derives a necessary and sufficient condition for compositional generalization in neural networks. Conceptually, it requires that (i) the computational graph matches the true compositional structure, and (ii) components encode just enough information in training. The condition is supported by mathe"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.02627","kind":"arxiv","version":1},"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/2505.02627/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-05T10:58:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"29vAhoVPV6NVTVSiXa3ZFKeHlbk7FTwir+lJaj+CZeH3JZgNSq/yNQpKNNsCkaBJ22OQxak5Gb3qeJ6dISHyCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T12:37:56.128584Z"},"content_sha256":"e184c429938529c7831f96b3c1d09db2adb4ed47b7fa8c1f3bf3192f69579172","schema_version":"1.0","event_id":"sha256:e184c429938529c7831f96b3c1d09db2adb4ed47b7fa8c1f3bf3192f69579172"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/D33WY4OVJFOOKS7LFKN3FQV3FM/bundle.json","state_url":"https://pith.science/pith/D33WY4OVJFOOKS7LFKN3FQV3FM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/D33WY4OVJFOOKS7LFKN3FQV3FM/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-08-17T12:37:56Z","links":{"resolver":"https://pith.science/pith/D33WY4OVJFOOKS7LFKN3FQV3FM","bundle":"https://pith.science/pith/D33WY4OVJFOOKS7LFKN3FQV3FM/bundle.json","state":"https://pith.science/pith/D33WY4OVJFOOKS7LFKN3FQV3FM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/D33WY4OVJFOOKS7LFKN3FQV3FM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:D33WY4OVJFOOKS7LFKN3FQV3FM","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":"9323bbcec2c54dab856597c644e6b936a9d1133497bbbbe738f64b89ef58c9ae","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-05T13:13:46Z","title_canon_sha256":"6a634f5e31a3e16c4f72cb8bb1c57f5efb3debcf748e80b50c662d48f706df95"},"schema_version":"1.0","source":{"id":"2505.02627","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.02627","created_at":"2026-07-05T10:58:40Z"},{"alias_kind":"arxiv_version","alias_value":"2505.02627v1","created_at":"2026-07-05T10:58:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.02627","created_at":"2026-07-05T10:58:40Z"},{"alias_kind":"pith_short_12","alias_value":"D33WY4OVJFOO","created_at":"2026-07-05T10:58:40Z"},{"alias_kind":"pith_short_16","alias_value":"D33WY4OVJFOOKS7L","created_at":"2026-07-05T10:58:40Z"},{"alias_kind":"pith_short_8","alias_value":"D33WY4OV","created_at":"2026-07-05T10:58:40Z"}],"graph_snapshots":[{"event_id":"sha256:e184c429938529c7831f96b3c1d09db2adb4ed47b7fa8c1f3bf3192f69579172","target":"graph","created_at":"2026-07-05T10:58:40Z","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/2505.02627/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Compositional generalization is a crucial property in artificial intelligence, enabling models to handle novel combinations of known components. While most deep learning models lack this capability, certain models succeed in specific tasks, suggesting the existence of governing conditions. This paper derives a necessary and sufficient condition for compositional generalization in neural networks. Conceptually, it requires that (i) the computational graph matches the true compositional structure, and (ii) components encode just enough information in training. The condition is supported by mathe","authors_text":"Yuanpeng Li","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-05T13:13:46Z","title":"A Theoretical Analysis of Compositional Generalization in Neural Networks: A Necessary and Sufficient Condition"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.02627","kind":"arxiv","version":1},"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:17d091cd52443fd876c3188259cc460c3360360b6fe277fbb444149d7626817d","target":"record","created_at":"2026-07-05T10:58:40Z","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":"9323bbcec2c54dab856597c644e6b936a9d1133497bbbbe738f64b89ef58c9ae","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-05-05T13:13:46Z","title_canon_sha256":"6a634f5e31a3e16c4f72cb8bb1c57f5efb3debcf748e80b50c662d48f706df95"},"schema_version":"1.0","source":{"id":"2505.02627","kind":"arxiv","version":1}},"canonical_sha256":"1ef76c71d5495ce54beb2a9bb2c2bb2b3b264ac90545a9b32c6072023b0b48e3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1ef76c71d5495ce54beb2a9bb2c2bb2b3b264ac90545a9b32c6072023b0b48e3","first_computed_at":"2026-07-05T10:58:40.564229Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:58:40.564229Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lhx5LmaDE50wZFBhQKBNZjRta4D0BegEp/GJf2bojg37dIWLNDZUubnubTj1aHSzM8tiH67R7MO7f2ipzC5nBA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:58:40.564608Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.02627","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:17d091cd52443fd876c3188259cc460c3360360b6fe277fbb444149d7626817d","sha256:e184c429938529c7831f96b3c1d09db2adb4ed47b7fa8c1f3bf3192f69579172"],"state_sha256":"46f0da8d59186429bf93a7420e805438df4d866369fc5b56b927ceb29985332e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Sf1yWXDV8Q1n0z7Jrbb1ttuizXNOQ9/5ardToKPe2pQzoyaHZnvi1YMU/B4bTV9bUVMmANtcXGvgl7RbUQXiCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T12:37:56.132415Z","bundle_sha256":"f6398c6da98de50cf60fd0d81c0fa7520e718ca53ce700febad5e2e507983cbf"}}