{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:DVL6OCHFOXX37ZPIJJGKSFW7ZL","short_pith_number":"pith:DVL6OCHF","canonical_record":{"source":{"id":"2212.10561","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2022-12-20T18:59:23Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"9f4023ead2625287d4baa483171ee1811b1d31ffdc534a065f6bb914e5f08f54","abstract_canon_sha256":"941ceb57ded143d1abc0ebb49f02e08c83fa42dc1a7135075393690a1824002f"},"schema_version":"1.0"},"canonical_sha256":"1d57e708e575efbfe5e84a4ca916dfcae6eb7420fd92015d06f4c6c702c70562","source":{"kind":"arxiv","id":"2212.10561","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2212.10561","created_at":"2026-07-05T06:14:39Z"},{"alias_kind":"arxiv_version","alias_value":"2212.10561v3","created_at":"2026-07-05T06:14:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2212.10561","created_at":"2026-07-05T06:14:39Z"},{"alias_kind":"pith_short_12","alias_value":"DVL6OCHFOXX3","created_at":"2026-07-05T06:14:39Z"},{"alias_kind":"pith_short_16","alias_value":"DVL6OCHFOXX37ZPI","created_at":"2026-07-05T06:14:39Z"},{"alias_kind":"pith_short_8","alias_value":"DVL6OCHF","created_at":"2026-07-05T06:14:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:DVL6OCHFOXX37ZPIJJGKSFW7ZL","target":"record","payload":{"canonical_record":{"source":{"id":"2212.10561","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2022-12-20T18:59:23Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"9f4023ead2625287d4baa483171ee1811b1d31ffdc534a065f6bb914e5f08f54","abstract_canon_sha256":"941ceb57ded143d1abc0ebb49f02e08c83fa42dc1a7135075393690a1824002f"},"schema_version":"1.0"},"canonical_sha256":"1d57e708e575efbfe5e84a4ca916dfcae6eb7420fd92015d06f4c6c702c70562","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:14:39.167457Z","signature_b64":"DcebgRUPN3O6Q4XQXUzpUdW8DD/XZjthyyQaFIC5BF985I84sgxkuHPXPAtWwtjHm4YkjChbxFY4zcwXsxUYAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1d57e708e575efbfe5e84a4ca916dfcae6eb7420fd92015d06f4c6c702c70562","last_reissued_at":"2026-07-05T06:14:39.167021Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:14:39.167021Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2212.10561","source_version":3,"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-05T06:14:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nNzJvKZqwblT5yj7n2PJC/G/O2seygPf4QZ9Anc6oIfloc/kJkgiTyKFarj+GFfgQsUNQhJn3al263a69fhdBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T11:36:34.975945Z"},"content_sha256":"26b348f5d22a58d1da116188dcbfbbbd1c31858e1ca217e093d2030cb10b5212","schema_version":"1.0","event_id":"sha256:26b348f5d22a58d1da116188dcbfbbbd1c31858e1ca217e093d2030cb10b5212"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:DVL6OCHFOXX37ZPIJJGKSFW7ZL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Parsel: Algorithmic Reasoning with Language Models by Composing Decompositions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.CL","authors_text":"Eric Zelikman, Gabriel Poesia, Nick Haber, Noah D. Goodman, Qian Huang","submitted_at":"2022-12-20T18:59:23Z","abstract_excerpt":"Despite recent success in large language model (LLM) reasoning, LLMs struggle with hierarchical multi-step reasoning tasks like generating complex programs. For these tasks, humans often start with a high-level algorithmic design and implement each part gradually. We introduce Parsel, a framework enabling automatic implementation and validation of complex algorithms with code LLMs. With Parsel, we automatically decompose algorithmic tasks into hierarchical natural language function descriptions and then search over combinations of possible function implementations using tests. We show that Par"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2212.10561","kind":"arxiv","version":3},"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/2212.10561/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-05T06:14:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"njbx9xhy2ouG1Gh/uXaCYsFGaBPeT8vp/2o47HbvPC9Nnsd+prZHpq7NQn7R098RpebnEC1sNvERFuXrW0coCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T11:36:34.976326Z"},"content_sha256":"88e5f4c81e227940b1f0e251ef6d3af8987c3209a0c73beaf9808a961231f519","schema_version":"1.0","event_id":"sha256:88e5f4c81e227940b1f0e251ef6d3af8987c3209a0c73beaf9808a961231f519"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DVL6OCHFOXX37ZPIJJGKSFW7ZL/bundle.json","state_url":"https://pith.science/pith/DVL6OCHFOXX37ZPIJJGKSFW7ZL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DVL6OCHFOXX37ZPIJJGKSFW7ZL/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-07-07T11:36:34Z","links":{"resolver":"https://pith.science/pith/DVL6OCHFOXX37ZPIJJGKSFW7ZL","bundle":"https://pith.science/pith/DVL6OCHFOXX37ZPIJJGKSFW7ZL/bundle.json","state":"https://pith.science/pith/DVL6OCHFOXX37ZPIJJGKSFW7ZL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DVL6OCHFOXX37ZPIJJGKSFW7ZL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:DVL6OCHFOXX37ZPIJJGKSFW7ZL","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":"941ceb57ded143d1abc0ebb49f02e08c83fa42dc1a7135075393690a1824002f","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2022-12-20T18:59:23Z","title_canon_sha256":"9f4023ead2625287d4baa483171ee1811b1d31ffdc534a065f6bb914e5f08f54"},"schema_version":"1.0","source":{"id":"2212.10561","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2212.10561","created_at":"2026-07-05T06:14:39Z"},{"alias_kind":"arxiv_version","alias_value":"2212.10561v3","created_at":"2026-07-05T06:14:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2212.10561","created_at":"2026-07-05T06:14:39Z"},{"alias_kind":"pith_short_12","alias_value":"DVL6OCHFOXX3","created_at":"2026-07-05T06:14:39Z"},{"alias_kind":"pith_short_16","alias_value":"DVL6OCHFOXX37ZPI","created_at":"2026-07-05T06:14:39Z"},{"alias_kind":"pith_short_8","alias_value":"DVL6OCHF","created_at":"2026-07-05T06:14:39Z"}],"graph_snapshots":[{"event_id":"sha256:88e5f4c81e227940b1f0e251ef6d3af8987c3209a0c73beaf9808a961231f519","target":"graph","created_at":"2026-07-05T06:14:39Z","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/2212.10561/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Despite recent success in large language model (LLM) reasoning, LLMs struggle with hierarchical multi-step reasoning tasks like generating complex programs. For these tasks, humans often start with a high-level algorithmic design and implement each part gradually. We introduce Parsel, a framework enabling automatic implementation and validation of complex algorithms with code LLMs. With Parsel, we automatically decompose algorithmic tasks into hierarchical natural language function descriptions and then search over combinations of possible function implementations using tests. We show that Par","authors_text":"Eric Zelikman, Gabriel Poesia, Nick Haber, Noah D. Goodman, Qian Huang","cross_cats":["cs.AI","cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2022-12-20T18:59:23Z","title":"Parsel: Algorithmic Reasoning with Language Models by Composing Decompositions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2212.10561","kind":"arxiv","version":3},"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:26b348f5d22a58d1da116188dcbfbbbd1c31858e1ca217e093d2030cb10b5212","target":"record","created_at":"2026-07-05T06:14:39Z","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":"941ceb57ded143d1abc0ebb49f02e08c83fa42dc1a7135075393690a1824002f","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2022-12-20T18:59:23Z","title_canon_sha256":"9f4023ead2625287d4baa483171ee1811b1d31ffdc534a065f6bb914e5f08f54"},"schema_version":"1.0","source":{"id":"2212.10561","kind":"arxiv","version":3}},"canonical_sha256":"1d57e708e575efbfe5e84a4ca916dfcae6eb7420fd92015d06f4c6c702c70562","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1d57e708e575efbfe5e84a4ca916dfcae6eb7420fd92015d06f4c6c702c70562","first_computed_at":"2026-07-05T06:14:39.167021Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:14:39.167021Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DcebgRUPN3O6Q4XQXUzpUdW8DD/XZjthyyQaFIC5BF985I84sgxkuHPXPAtWwtjHm4YkjChbxFY4zcwXsxUYAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T06:14:39.167457Z","signed_message":"canonical_sha256_bytes"},"source_id":"2212.10561","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:26b348f5d22a58d1da116188dcbfbbbd1c31858e1ca217e093d2030cb10b5212","sha256:88e5f4c81e227940b1f0e251ef6d3af8987c3209a0c73beaf9808a961231f519"],"state_sha256":"98e913a1eadb75dbb32274b75797b6b3b9b795017345e74fb130431be7e9fa49"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+vhWkeaOuz4aeCoVldyXLpXjFndLMxn2b6DaVeQYnD34IiyNYZdr1HrkzUCWpZHQxgg6dCbf9mUwOoyLy6JGBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T11:36:34.978232Z","bundle_sha256":"07177a66df6a8429fec44b8ff37fe0fec43484f873cadb76cda6fbf6ef29e5eb"}}