{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:ZO25V2XLFEOMJXB6AOOZODUHS3","short_pith_number":"pith:ZO25V2XL","canonical_record":{"source":{"id":"2410.21272","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-10-28T17:59:06Z","cross_cats_sorted":[],"title_canon_sha256":"509281457bf2d256925a98a66fa122f52791bb9a290545b80708b1714ce4fb5e","abstract_canon_sha256":"28efa79a98c527e948fed2d8fa4845ad4699d64c0d086282edefcab54665ff78"},"schema_version":"1.0"},"canonical_sha256":"cbb5daeaeb291cc4dc3e039d970e8796d0950e47123672914c8c86ac67c06e8d","source":{"kind":"arxiv","id":"2410.21272","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.21272","created_at":"2026-07-05T11:06:09Z"},{"alias_kind":"arxiv_version","alias_value":"2410.21272v2","created_at":"2026-07-05T11:06:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.21272","created_at":"2026-07-05T11:06:09Z"},{"alias_kind":"pith_short_12","alias_value":"ZO25V2XLFEOM","created_at":"2026-07-05T11:06:09Z"},{"alias_kind":"pith_short_16","alias_value":"ZO25V2XLFEOMJXB6","created_at":"2026-07-05T11:06:09Z"},{"alias_kind":"pith_short_8","alias_value":"ZO25V2XL","created_at":"2026-07-05T11:06:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:ZO25V2XLFEOMJXB6AOOZODUHS3","target":"record","payload":{"canonical_record":{"source":{"id":"2410.21272","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-10-28T17:59:06Z","cross_cats_sorted":[],"title_canon_sha256":"509281457bf2d256925a98a66fa122f52791bb9a290545b80708b1714ce4fb5e","abstract_canon_sha256":"28efa79a98c527e948fed2d8fa4845ad4699d64c0d086282edefcab54665ff78"},"schema_version":"1.0"},"canonical_sha256":"cbb5daeaeb291cc4dc3e039d970e8796d0950e47123672914c8c86ac67c06e8d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:06:09.522795Z","signature_b64":"LcDmnZ7Sw9TwZn5X1UP1Ff10HfQ9tNVozN2Q0GToLlHQXuT9szqlwJhkMVaQHrcJmNQ5jSHLCAlGBnbZ0rR2Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cbb5daeaeb291cc4dc3e039d970e8796d0950e47123672914c8c86ac67c06e8d","last_reissued_at":"2026-07-05T11:06:09.522237Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:06:09.522237Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2410.21272","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-05T11:06:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sAdz9berK5T9qzgj70HXw/npX3c8ttaPaQxsxV5aNPRQWg4pbGBHCgFiy25pnAmiHmGvXkWo+zUUl3QEgkhLCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T09:18:33.804438Z"},"content_sha256":"7d5d8f5efec2a6c3eec8f2c702dd259c4bcd7f6c86ccf25e90f1496fc9fc8d72","schema_version":"1.0","event_id":"sha256:7d5d8f5efec2a6c3eec8f2c702dd259c4bcd7f6c86ccf25e90f1496fc9fc8d72"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:ZO25V2XLFEOMJXB6AOOZODUHS3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Arithmetic Without Algorithms: Language Models Solve Math With a Bag of Heuristics","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Aaron Mueller, Anja Reusch, Yaniv Nikankin, Yonatan Belinkov","submitted_at":"2024-10-28T17:59:06Z","abstract_excerpt":"Do large language models (LLMs) solve reasoning tasks by learning robust generalizable algorithms, or do they memorize training data? To investigate this question, we use arithmetic reasoning as a representative task. Using causal analysis, we identify a subset of the model (a circuit) that explains most of the model's behavior for basic arithmetic logic and examine its functionality. By zooming in on the level of individual circuit neurons, we discover a sparse set of important neurons that implement simple heuristics. Each heuristic identifies a numerical input pattern and outputs correspond"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.21272","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/2410.21272/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-05T11:06:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w2F+i8cjs5Qh2gmLHWpmTGa22BsChE/jHdHzH/pmwgz0qqIIxQbcHGfbmaMKjBlWFbTFkPiUvcGtmhw/gz/cDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T09:18:33.805401Z"},"content_sha256":"2f8b3ec67d3f1b344d2a82c16215529bfdb17322592b71f89e7b9d3a021986f8","schema_version":"1.0","event_id":"sha256:2f8b3ec67d3f1b344d2a82c16215529bfdb17322592b71f89e7b9d3a021986f8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZO25V2XLFEOMJXB6AOOZODUHS3/bundle.json","state_url":"https://pith.science/pith/ZO25V2XLFEOMJXB6AOOZODUHS3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZO25V2XLFEOMJXB6AOOZODUHS3/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-06T09:18:33Z","links":{"resolver":"https://pith.science/pith/ZO25V2XLFEOMJXB6AOOZODUHS3","bundle":"https://pith.science/pith/ZO25V2XLFEOMJXB6AOOZODUHS3/bundle.json","state":"https://pith.science/pith/ZO25V2XLFEOMJXB6AOOZODUHS3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZO25V2XLFEOMJXB6AOOZODUHS3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:ZO25V2XLFEOMJXB6AOOZODUHS3","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":"28efa79a98c527e948fed2d8fa4845ad4699d64c0d086282edefcab54665ff78","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-10-28T17:59:06Z","title_canon_sha256":"509281457bf2d256925a98a66fa122f52791bb9a290545b80708b1714ce4fb5e"},"schema_version":"1.0","source":{"id":"2410.21272","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.21272","created_at":"2026-07-05T11:06:09Z"},{"alias_kind":"arxiv_version","alias_value":"2410.21272v2","created_at":"2026-07-05T11:06:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.21272","created_at":"2026-07-05T11:06:09Z"},{"alias_kind":"pith_short_12","alias_value":"ZO25V2XLFEOM","created_at":"2026-07-05T11:06:09Z"},{"alias_kind":"pith_short_16","alias_value":"ZO25V2XLFEOMJXB6","created_at":"2026-07-05T11:06:09Z"},{"alias_kind":"pith_short_8","alias_value":"ZO25V2XL","created_at":"2026-07-05T11:06:09Z"}],"graph_snapshots":[{"event_id":"sha256:2f8b3ec67d3f1b344d2a82c16215529bfdb17322592b71f89e7b9d3a021986f8","target":"graph","created_at":"2026-07-05T11:06:09Z","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/2410.21272/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Do large language models (LLMs) solve reasoning tasks by learning robust generalizable algorithms, or do they memorize training data? To investigate this question, we use arithmetic reasoning as a representative task. Using causal analysis, we identify a subset of the model (a circuit) that explains most of the model's behavior for basic arithmetic logic and examine its functionality. By zooming in on the level of individual circuit neurons, we discover a sparse set of important neurons that implement simple heuristics. Each heuristic identifies a numerical input pattern and outputs correspond","authors_text":"Aaron Mueller, Anja Reusch, Yaniv Nikankin, Yonatan Belinkov","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-10-28T17:59:06Z","title":"Arithmetic Without Algorithms: Language Models Solve Math With a Bag of Heuristics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.21272","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:7d5d8f5efec2a6c3eec8f2c702dd259c4bcd7f6c86ccf25e90f1496fc9fc8d72","target":"record","created_at":"2026-07-05T11:06:09Z","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":"28efa79a98c527e948fed2d8fa4845ad4699d64c0d086282edefcab54665ff78","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2024-10-28T17:59:06Z","title_canon_sha256":"509281457bf2d256925a98a66fa122f52791bb9a290545b80708b1714ce4fb5e"},"schema_version":"1.0","source":{"id":"2410.21272","kind":"arxiv","version":2}},"canonical_sha256":"cbb5daeaeb291cc4dc3e039d970e8796d0950e47123672914c8c86ac67c06e8d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cbb5daeaeb291cc4dc3e039d970e8796d0950e47123672914c8c86ac67c06e8d","first_computed_at":"2026-07-05T11:06:09.522237Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:06:09.522237Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LcDmnZ7Sw9TwZn5X1UP1Ff10HfQ9tNVozN2Q0GToLlHQXuT9szqlwJhkMVaQHrcJmNQ5jSHLCAlGBnbZ0rR2Ag==","signature_status":"signed_v1","signed_at":"2026-07-05T11:06:09.522795Z","signed_message":"canonical_sha256_bytes"},"source_id":"2410.21272","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7d5d8f5efec2a6c3eec8f2c702dd259c4bcd7f6c86ccf25e90f1496fc9fc8d72","sha256:2f8b3ec67d3f1b344d2a82c16215529bfdb17322592b71f89e7b9d3a021986f8"],"state_sha256":"e2fcfea767c139aac090e88556bf9e08db9612709491511ab70a44160a5b29b6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"v7puWYbH9r2hKwHoqk5kgvRj0JqOXF16Lto54EqacProoA50+Qua1CMpeMtHufIWS8g39MI8/nfHOCKgDV6tCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T09:18:33.810875Z","bundle_sha256":"2a41369373a4403b72a6f000afb4c2ff777eecfcf680342ec1e9e96a129268a9"}}