{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:HU24BUIBQZLDK5DY4PT6L2V7P4","short_pith_number":"pith:HU24BUIB","canonical_record":{"source":{"id":"2404.02575","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2024-04-03T08:49:11Z","cross_cats_sorted":[],"title_canon_sha256":"7b4436d5ee8ef57360dfc26a151599aa04265348e84b26adad2e4412b636d997","abstract_canon_sha256":"7b92b597d6051c414a56f4c1ff9c7e94b9fab6a9c3b8352d4f4625be82362f1f"},"schema_version":"1.0"},"canonical_sha256":"3d35c0d1018656357478e3e7e5eabf7f01f3cbd80f50465c3d3e00cb3b5a2ba7","source":{"kind":"arxiv","id":"2404.02575","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.02575","created_at":"2026-07-05T08:03:58Z"},{"alias_kind":"arxiv_version","alias_value":"2404.02575v1","created_at":"2026-07-05T08:03:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.02575","created_at":"2026-07-05T08:03:58Z"},{"alias_kind":"pith_short_12","alias_value":"HU24BUIBQZLD","created_at":"2026-07-05T08:03:58Z"},{"alias_kind":"pith_short_16","alias_value":"HU24BUIBQZLDK5DY","created_at":"2026-07-05T08:03:58Z"},{"alias_kind":"pith_short_8","alias_value":"HU24BUIB","created_at":"2026-07-05T08:03:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:HU24BUIBQZLDK5DY4PT6L2V7P4","target":"record","payload":{"canonical_record":{"source":{"id":"2404.02575","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2024-04-03T08:49:11Z","cross_cats_sorted":[],"title_canon_sha256":"7b4436d5ee8ef57360dfc26a151599aa04265348e84b26adad2e4412b636d997","abstract_canon_sha256":"7b92b597d6051c414a56f4c1ff9c7e94b9fab6a9c3b8352d4f4625be82362f1f"},"schema_version":"1.0"},"canonical_sha256":"3d35c0d1018656357478e3e7e5eabf7f01f3cbd80f50465c3d3e00cb3b5a2ba7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:03:58.455359Z","signature_b64":"dLXr/u5H0YjuxdXb771sOPySVpsGZHVscLwTH8iWFcJjXwYz/zNq2xt3AXadsX5EUIxvhNKfh4l7z5vfZe63Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3d35c0d1018656357478e3e7e5eabf7f01f3cbd80f50465c3d3e00cb3b5a2ba7","last_reissued_at":"2026-07-05T08:03:58.454918Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:03:58.454918Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2404.02575","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-05T08:03:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IokREqYqScVL7pektjauQrFqrpoa1w0n5U/rVd5ZkIKVfWLbBXqPzoURLcCJfFMmXatsBymm9it/n/SatVcZDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T05:37:24.627808Z"},"content_sha256":"56eac0127c1b5bf28ef436fdb458b49d7f5b271b76fae1436407346fcea14cc5","schema_version":"1.0","event_id":"sha256:56eac0127c1b5bf28ef436fdb458b49d7f5b271b76fae1436407346fcea14cc5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:HU24BUIBQZLDK5DY4PT6L2V7P4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Language Models as Compilers: Simulating Pseudocode Execution Improves Algorithmic Reasoning in Language Models","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Beong-woo Kwak, Hyungjoo Chae, Jinyoung Yeo, Jiwan Chung, Kai Tzu-iunn Ong, Moohyeon Kim, Seonghwan Kim, Seungone Kim, Taeyoon Kwon, Yeonghyeon Kim, Youngjae Yu","submitted_at":"2024-04-03T08:49:11Z","abstract_excerpt":"Algorithmic reasoning refers to the ability to understand the complex patterns behind the problem and decompose them into a sequence of reasoning steps towards the solution. Such nature of algorithmic reasoning makes it a challenge for large language models (LLMs), even though they have demonstrated promising performance in other reasoning tasks. Within this context, some recent studies use programming languages (e.g., Python) to express the necessary logic for solving a given instance/question (e.g., Program-of-Thought) as inspired by their strict and precise syntaxes. However, it is non-triv"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.02575","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/2404.02575/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-05T08:03:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"soSdebbru2dSUsLlVxwu+irgRsCrSjUoHL5x8hsmynH0VVm/7QOHrKDlNNs4thY6BheBfEB/1eDDgfI1rHb5AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T05:37:24.628783Z"},"content_sha256":"beaf45f9c9a0ffa5b1e886ded6fe97735c8dd84fc535b4131ea7757281e31b43","schema_version":"1.0","event_id":"sha256:beaf45f9c9a0ffa5b1e886ded6fe97735c8dd84fc535b4131ea7757281e31b43"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HU24BUIBQZLDK5DY4PT6L2V7P4/bundle.json","state_url":"https://pith.science/pith/HU24BUIBQZLDK5DY4PT6L2V7P4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HU24BUIBQZLDK5DY4PT6L2V7P4/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-13T05:37:24Z","links":{"resolver":"https://pith.science/pith/HU24BUIBQZLDK5DY4PT6L2V7P4","bundle":"https://pith.science/pith/HU24BUIBQZLDK5DY4PT6L2V7P4/bundle.json","state":"https://pith.science/pith/HU24BUIBQZLDK5DY4PT6L2V7P4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HU24BUIBQZLDK5DY4PT6L2V7P4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:HU24BUIBQZLDK5DY4PT6L2V7P4","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":"7b92b597d6051c414a56f4c1ff9c7e94b9fab6a9c3b8352d4f4625be82362f1f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2024-04-03T08:49:11Z","title_canon_sha256":"7b4436d5ee8ef57360dfc26a151599aa04265348e84b26adad2e4412b636d997"},"schema_version":"1.0","source":{"id":"2404.02575","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.02575","created_at":"2026-07-05T08:03:58Z"},{"alias_kind":"arxiv_version","alias_value":"2404.02575v1","created_at":"2026-07-05T08:03:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.02575","created_at":"2026-07-05T08:03:58Z"},{"alias_kind":"pith_short_12","alias_value":"HU24BUIBQZLD","created_at":"2026-07-05T08:03:58Z"},{"alias_kind":"pith_short_16","alias_value":"HU24BUIBQZLDK5DY","created_at":"2026-07-05T08:03:58Z"},{"alias_kind":"pith_short_8","alias_value":"HU24BUIB","created_at":"2026-07-05T08:03:58Z"}],"graph_snapshots":[{"event_id":"sha256:beaf45f9c9a0ffa5b1e886ded6fe97735c8dd84fc535b4131ea7757281e31b43","target":"graph","created_at":"2026-07-05T08:03:58Z","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/2404.02575/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Algorithmic reasoning refers to the ability to understand the complex patterns behind the problem and decompose them into a sequence of reasoning steps towards the solution. Such nature of algorithmic reasoning makes it a challenge for large language models (LLMs), even though they have demonstrated promising performance in other reasoning tasks. Within this context, some recent studies use programming languages (e.g., Python) to express the necessary logic for solving a given instance/question (e.g., Program-of-Thought) as inspired by their strict and precise syntaxes. However, it is non-triv","authors_text":"Beong-woo Kwak, Hyungjoo Chae, Jinyoung Yeo, Jiwan Chung, Kai Tzu-iunn Ong, Moohyeon Kim, Seonghwan Kim, Seungone Kim, Taeyoon Kwon, Yeonghyeon Kim, Youngjae Yu","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2024-04-03T08:49:11Z","title":"Language Models as Compilers: Simulating Pseudocode Execution Improves Algorithmic Reasoning in Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.02575","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:56eac0127c1b5bf28ef436fdb458b49d7f5b271b76fae1436407346fcea14cc5","target":"record","created_at":"2026-07-05T08:03:58Z","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":"7b92b597d6051c414a56f4c1ff9c7e94b9fab6a9c3b8352d4f4625be82362f1f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2024-04-03T08:49:11Z","title_canon_sha256":"7b4436d5ee8ef57360dfc26a151599aa04265348e84b26adad2e4412b636d997"},"schema_version":"1.0","source":{"id":"2404.02575","kind":"arxiv","version":1}},"canonical_sha256":"3d35c0d1018656357478e3e7e5eabf7f01f3cbd80f50465c3d3e00cb3b5a2ba7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3d35c0d1018656357478e3e7e5eabf7f01f3cbd80f50465c3d3e00cb3b5a2ba7","first_computed_at":"2026-07-05T08:03:58.454918Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:03:58.454918Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dLXr/u5H0YjuxdXb771sOPySVpsGZHVscLwTH8iWFcJjXwYz/zNq2xt3AXadsX5EUIxvhNKfh4l7z5vfZe63Cg==","signature_status":"signed_v1","signed_at":"2026-07-05T08:03:58.455359Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.02575","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:56eac0127c1b5bf28ef436fdb458b49d7f5b271b76fae1436407346fcea14cc5","sha256:beaf45f9c9a0ffa5b1e886ded6fe97735c8dd84fc535b4131ea7757281e31b43"],"state_sha256":"b7f9b3b5017dd16aca69ba07986f5be70372f36fd746c2687b4d2d3aaf7d1f7e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pNiJdO5KcUXELvPckIJJbd1jA9iEs7dElFUQpVZj3KhjTSkxkdfR1SMRw1GHOakWdBPxRtzUZ9a/fci5/+FcCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T05:37:24.642182Z","bundle_sha256":"bdd334b023ede202c3f448ba60ac0ee25663ad033d1d3f9a2de4b69f8e1469f7"}}