{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:JATT3KOOEMWPSQWU6ZXVEPL5LE","short_pith_number":"pith:JATT3KOO","schema_version":"1.0","canonical_sha256":"48273da9ce232cf942d4f66f523d7d591e1479e5920efd7ccf87531322e81763","source":{"kind":"arxiv","id":"2301.06758","version":1},"attestation_state":"computed","paper":{"title":"Tracing and Manipulating Intermediate Values in Neural Math Problem Solvers","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.CL"],"primary_cat":"cs.LG","authors_text":"Benjamin Heinzerling, Kentaro Inui, Masashi Yoshikawa, Yuta Matsumoto","submitted_at":"2023-01-17T08:46:50Z","abstract_excerpt":"How language models process complex input that requires multiple steps of inference is not well understood. Previous research has shown that information about intermediate values of these inputs can be extracted from the activations of the models, but it is unclear where that information is encoded and whether that information is indeed used during inference. We introduce a method for analyzing how a Transformer model processes these inputs by focusing on simple arithmetic problems and their intermediate values. To trace where information about intermediate values is encoded, we measure the co"},"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":"2301.06758","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2023-01-17T08:46:50Z","cross_cats_sorted":["cs.AI","cs.CL"],"title_canon_sha256":"bd7c0cc2c7acd1778f675dda98df15189c2eaa3f2e4c9394dfb6ef85a16c643c","abstract_canon_sha256":"e904f27a80ee9cf44f6bbb87f31d11f5ef9dd1e69018e8edebc10b28c2472a01"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:33:35.500294Z","signature_b64":"9o1p6Mkx0t5xPG+ub0rzHMdxmLmpmvm0iP2NOVlkZfx+2qFkTY1Sda+018Y4hjTC8slG4jfve3p4dHuC09UfDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"48273da9ce232cf942d4f66f523d7d591e1479e5920efd7ccf87531322e81763","last_reissued_at":"2026-07-05T05:33:35.499752Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:33:35.499752Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Tracing and Manipulating Intermediate Values in Neural Math Problem Solvers","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.CL"],"primary_cat":"cs.LG","authors_text":"Benjamin Heinzerling, Kentaro Inui, Masashi Yoshikawa, Yuta Matsumoto","submitted_at":"2023-01-17T08:46:50Z","abstract_excerpt":"How language models process complex input that requires multiple steps of inference is not well understood. Previous research has shown that information about intermediate values of these inputs can be extracted from the activations of the models, but it is unclear where that information is encoded and whether that information is indeed used during inference. We introduce a method for analyzing how a Transformer model processes these inputs by focusing on simple arithmetic problems and their intermediate values. To trace where information about intermediate values is encoded, we measure the co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2301.06758","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/2301.06758/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":"2301.06758","created_at":"2026-07-05T05:33:35.499812+00:00"},{"alias_kind":"arxiv_version","alias_value":"2301.06758v1","created_at":"2026-07-05T05:33:35.499812+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2301.06758","created_at":"2026-07-05T05:33:35.499812+00:00"},{"alias_kind":"pith_short_12","alias_value":"JATT3KOOEMWP","created_at":"2026-07-05T05:33:35.499812+00:00"},{"alias_kind":"pith_short_16","alias_value":"JATT3KOOEMWPSQWU","created_at":"2026-07-05T05:33:35.499812+00:00"},{"alias_kind":"pith_short_8","alias_value":"JATT3KOO","created_at":"2026-07-05T05:33:35.499812+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2604.19052","citing_title":"Cell-Based Representation of Relational Binding in Language Models","ref_index":32,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/JATT3KOOEMWPSQWU6ZXVEPL5LE","json":"https://pith.science/pith/JATT3KOOEMWPSQWU6ZXVEPL5LE.json","graph_json":"https://pith.science/api/pith-number/JATT3KOOEMWPSQWU6ZXVEPL5LE/graph.json","events_json":"https://pith.science/api/pith-number/JATT3KOOEMWPSQWU6ZXVEPL5LE/events.json","paper":"https://pith.science/paper/JATT3KOO"},"agent_actions":{"view_html":"https://pith.science/pith/JATT3KOOEMWPSQWU6ZXVEPL5LE","download_json":"https://pith.science/pith/JATT3KOOEMWPSQWU6ZXVEPL5LE.json","view_paper":"https://pith.science/paper/JATT3KOO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2301.06758&json=true","fetch_graph":"https://pith.science/api/pith-number/JATT3KOOEMWPSQWU6ZXVEPL5LE/graph.json","fetch_events":"https://pith.science/api/pith-number/JATT3KOOEMWPSQWU6ZXVEPL5LE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JATT3KOOEMWPSQWU6ZXVEPL5LE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JATT3KOOEMWPSQWU6ZXVEPL5LE/action/storage_attestation","attest_author":"https://pith.science/pith/JATT3KOOEMWPSQWU6ZXVEPL5LE/action/author_attestation","sign_citation":"https://pith.science/pith/JATT3KOOEMWPSQWU6ZXVEPL5LE/action/citation_signature","submit_replication":"https://pith.science/pith/JATT3KOOEMWPSQWU6ZXVEPL5LE/action/replication_record"}},"created_at":"2026-07-05T05:33:35.499812+00:00","updated_at":"2026-07-05T05:33:35.499812+00:00"}