{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:E5ASE4OU6ZLO3V3NNJBKNAIUTR","short_pith_number":"pith:E5ASE4OU","schema_version":"1.0","canonical_sha256":"27412271d4f656edd76d6a42a681149c567d8c8248ee870cc4436dda4e234b86","source":{"kind":"arxiv","id":"2507.10678","version":2},"attestation_state":"computed","paper":{"title":"A Group Theoretic Analysis of the Symmetries Underlying Base Addition and Their Learnability by Neural Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.NE","q-bio.NC"],"primary_cat":"cs.LG","authors_text":"Cutter Dawes, Jonathan D. Cohen, Kamesh Krishnamurthy, Simon Segert","submitted_at":"2025-07-14T18:01:38Z","abstract_excerpt":"A major challenge in the use of neural networks both for modeling human cognitive function and for artificial intelligence is the design of systems with the capacity to efficiently learn functions that support radical generalization. At the roots of this is the capacity to discover and implement symmetry functions. In this paper, we investigate a paradigmatic example of radical generalization through the use of symmetry: base addition. We present a group theoretic analysis of base addition, a fundamental and defining characteristic of which is the carry function -- the transfer of the remainde"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2507.10678","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2025-07-14T18:01:38Z","cross_cats_sorted":["cs.AI","cs.NE","q-bio.NC"],"title_canon_sha256":"e97d8a8a36879dfaec0219c54d1f28395844100e7722535de502dc2c2eb5ec67","abstract_canon_sha256":"7843b7ed07f4cfd66c7178ab1c622c154d6e4e12c5b2b36eb7e9c8dd3fdf4ab7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:37:46.015446Z","signature_b64":"9XagjfKsQ3dm/sTqQYoupoYgt2cdGTpyRzzMz5bMAbgIrY2TBvHb14YzRIQNoCMtwGnf1UAfJow/zVNjSkqhBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"27412271d4f656edd76d6a42a681149c567d8c8248ee870cc4436dda4e234b86","last_reissued_at":"2026-07-05T11:37:46.014848Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:37:46.014848Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Group Theoretic Analysis of the Symmetries Underlying Base Addition and Their Learnability by Neural Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.NE","q-bio.NC"],"primary_cat":"cs.LG","authors_text":"Cutter Dawes, Jonathan D. Cohen, Kamesh Krishnamurthy, Simon Segert","submitted_at":"2025-07-14T18:01:38Z","abstract_excerpt":"A major challenge in the use of neural networks both for modeling human cognitive function and for artificial intelligence is the design of systems with the capacity to efficiently learn functions that support radical generalization. At the roots of this is the capacity to discover and implement symmetry functions. In this paper, we investigate a paradigmatic example of radical generalization through the use of symmetry: base addition. We present a group theoretic analysis of base addition, a fundamental and defining characteristic of which is the carry function -- the transfer of the remainde"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.10678","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/2507.10678/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2507.10678","created_at":"2026-07-05T11:37:46.014912+00:00"},{"alias_kind":"arxiv_version","alias_value":"2507.10678v2","created_at":"2026-07-05T11:37:46.014912+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.10678","created_at":"2026-07-05T11:37:46.014912+00:00"},{"alias_kind":"pith_short_12","alias_value":"E5ASE4OU6ZLO","created_at":"2026-07-05T11:37:46.014912+00:00"},{"alias_kind":"pith_short_16","alias_value":"E5ASE4OU6ZLO3V3N","created_at":"2026-07-05T11:37:46.014912+00:00"},{"alias_kind":"pith_short_8","alias_value":"E5ASE4OU","created_at":"2026-07-05T11:37:46.014912+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/E5ASE4OU6ZLO3V3NNJBKNAIUTR","json":"https://pith.science/pith/E5ASE4OU6ZLO3V3NNJBKNAIUTR.json","graph_json":"https://pith.science/api/pith-number/E5ASE4OU6ZLO3V3NNJBKNAIUTR/graph.json","events_json":"https://pith.science/api/pith-number/E5ASE4OU6ZLO3V3NNJBKNAIUTR/events.json","paper":"https://pith.science/paper/E5ASE4OU"},"agent_actions":{"view_html":"https://pith.science/pith/E5ASE4OU6ZLO3V3NNJBKNAIUTR","download_json":"https://pith.science/pith/E5ASE4OU6ZLO3V3NNJBKNAIUTR.json","view_paper":"https://pith.science/paper/E5ASE4OU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2507.10678&json=true","fetch_graph":"https://pith.science/api/pith-number/E5ASE4OU6ZLO3V3NNJBKNAIUTR/graph.json","fetch_events":"https://pith.science/api/pith-number/E5ASE4OU6ZLO3V3NNJBKNAIUTR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/E5ASE4OU6ZLO3V3NNJBKNAIUTR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/E5ASE4OU6ZLO3V3NNJBKNAIUTR/action/storage_attestation","attest_author":"https://pith.science/pith/E5ASE4OU6ZLO3V3NNJBKNAIUTR/action/author_attestation","sign_citation":"https://pith.science/pith/E5ASE4OU6ZLO3V3NNJBKNAIUTR/action/citation_signature","submit_replication":"https://pith.science/pith/E5ASE4OU6ZLO3V3NNJBKNAIUTR/action/replication_record"}},"created_at":"2026-07-05T11:37:46.014912+00:00","updated_at":"2026-07-05T11:37:46.014912+00:00"}