{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:YZ5B3ZK4IXLXQGHMF4WBRF7MM4","short_pith_number":"pith:YZ5B3ZK4","canonical_record":{"source":{"id":"2303.15714","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-03-28T03:55:03Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"991607059235b282948608f9fbd2545f222c473f15ca9c8c6b064407564eba12","abstract_canon_sha256":"ab093930d4062072d33e001a84bb1798acf2e65cecdce4fd5ec3fbae564c95fc"},"schema_version":"1.0"},"canonical_sha256":"c67a1de55c45d77818ec2f2c1897ec672901f110d38870d6e0de97edf382138a","source":{"kind":"arxiv","id":"2303.15714","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.15714","created_at":"2026-07-05T07:09:46Z"},{"alias_kind":"arxiv_version","alias_value":"2303.15714v4","created_at":"2026-07-05T07:09:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.15714","created_at":"2026-07-05T07:09:46Z"},{"alias_kind":"pith_short_12","alias_value":"YZ5B3ZK4IXLX","created_at":"2026-07-05T07:09:46Z"},{"alias_kind":"pith_short_16","alias_value":"YZ5B3ZK4IXLXQGHM","created_at":"2026-07-05T07:09:46Z"},{"alias_kind":"pith_short_8","alias_value":"YZ5B3ZK4","created_at":"2026-07-05T07:09:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:YZ5B3ZK4IXLXQGHMF4WBRF7MM4","target":"record","payload":{"canonical_record":{"source":{"id":"2303.15714","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-03-28T03:55:03Z","cross_cats_sorted":["cs.AI","cs.LG"],"title_canon_sha256":"991607059235b282948608f9fbd2545f222c473f15ca9c8c6b064407564eba12","abstract_canon_sha256":"ab093930d4062072d33e001a84bb1798acf2e65cecdce4fd5ec3fbae564c95fc"},"schema_version":"1.0"},"canonical_sha256":"c67a1de55c45d77818ec2f2c1897ec672901f110d38870d6e0de97edf382138a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:09:46.927483Z","signature_b64":"gI8Mc1TgselDdUoUxuw+dOJ8z3F9Ql5yB0QS/wxrGUyKQsxn+r1vBHlcMku3e2Bzq+cIRBhIqpHpo4vSOU1KDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c67a1de55c45d77818ec2f2c1897ec672901f110d38870d6e0de97edf382138a","last_reissued_at":"2026-07-05T07:09:46.926963Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:09:46.926963Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2303.15714","source_version":4,"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-05T07:09:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"52mrEAvYE5OOuEpYGW7Huj1BlJtphXqR3KF0LcJOHeijbNvDyv7DAIwd3sV9iq8UE2LjjKAmvhkXrKbGwtd+Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T16:19:57.065099Z"},"content_sha256":"8ee56769d6cca92d6a8d6797fa8c15085bb9f8946ead1d24e4f8d6fce91863be","schema_version":"1.0","event_id":"sha256:8ee56769d6cca92d6a8d6797fa8c15085bb9f8946ead1d24e4f8d6fce91863be"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:YZ5B3ZK4IXLXQGHMF4WBRF7MM4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Explicit Planning Helps Language Models in Logical Reasoning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.LG"],"primary_cat":"cs.CL","authors_text":"Hongyuan Mei, Hongyu Zhao, Kangrui Wang, Mo Yu","submitted_at":"2023-03-28T03:55:03Z","abstract_excerpt":"Language models have been shown to perform remarkably well on a wide range of natural language processing tasks. In this paper, we propose LEAP, a novel system that uses language models to perform multi-step logical reasoning and incorporates explicit planning into the inference procedure. Explicit planning enables the system to make more informed reasoning decisions at each step by looking ahead into their future effects. Moreover, we propose a training strategy that safeguards the planning process from being led astray by spurious features. Our full system significantly outperforms other com"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.15714","kind":"arxiv","version":4},"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/2303.15714/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-05T07:09:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BLVTGzmQbh/lieY4QG//ROXnYRt8RL6osg2sIOIyB3wDdXxABPB39sxdVU7EOF4NxjtX8RBAnlx/xmo6LpmMCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T16:19:57.066249Z"},"content_sha256":"18cf33a9596ec6c5c0d144e06cbb19993088d0e3e7288089ad7b84d5ae3d6ab9","schema_version":"1.0","event_id":"sha256:18cf33a9596ec6c5c0d144e06cbb19993088d0e3e7288089ad7b84d5ae3d6ab9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YZ5B3ZK4IXLXQGHMF4WBRF7MM4/bundle.json","state_url":"https://pith.science/pith/YZ5B3ZK4IXLXQGHMF4WBRF7MM4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YZ5B3ZK4IXLXQGHMF4WBRF7MM4/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-08T16:19:57Z","links":{"resolver":"https://pith.science/pith/YZ5B3ZK4IXLXQGHMF4WBRF7MM4","bundle":"https://pith.science/pith/YZ5B3ZK4IXLXQGHMF4WBRF7MM4/bundle.json","state":"https://pith.science/pith/YZ5B3ZK4IXLXQGHMF4WBRF7MM4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YZ5B3ZK4IXLXQGHMF4WBRF7MM4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:YZ5B3ZK4IXLXQGHMF4WBRF7MM4","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":"ab093930d4062072d33e001a84bb1798acf2e65cecdce4fd5ec3fbae564c95fc","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-03-28T03:55:03Z","title_canon_sha256":"991607059235b282948608f9fbd2545f222c473f15ca9c8c6b064407564eba12"},"schema_version":"1.0","source":{"id":"2303.15714","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.15714","created_at":"2026-07-05T07:09:46Z"},{"alias_kind":"arxiv_version","alias_value":"2303.15714v4","created_at":"2026-07-05T07:09:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.15714","created_at":"2026-07-05T07:09:46Z"},{"alias_kind":"pith_short_12","alias_value":"YZ5B3ZK4IXLX","created_at":"2026-07-05T07:09:46Z"},{"alias_kind":"pith_short_16","alias_value":"YZ5B3ZK4IXLXQGHM","created_at":"2026-07-05T07:09:46Z"},{"alias_kind":"pith_short_8","alias_value":"YZ5B3ZK4","created_at":"2026-07-05T07:09:46Z"}],"graph_snapshots":[{"event_id":"sha256:18cf33a9596ec6c5c0d144e06cbb19993088d0e3e7288089ad7b84d5ae3d6ab9","target":"graph","created_at":"2026-07-05T07:09:46Z","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/2303.15714/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Language models have been shown to perform remarkably well on a wide range of natural language processing tasks. In this paper, we propose LEAP, a novel system that uses language models to perform multi-step logical reasoning and incorporates explicit planning into the inference procedure. Explicit planning enables the system to make more informed reasoning decisions at each step by looking ahead into their future effects. Moreover, we propose a training strategy that safeguards the planning process from being led astray by spurious features. Our full system significantly outperforms other com","authors_text":"Hongyuan Mei, Hongyu Zhao, Kangrui Wang, Mo Yu","cross_cats":["cs.AI","cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-03-28T03:55:03Z","title":"Explicit Planning Helps Language Models in Logical Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.15714","kind":"arxiv","version":4},"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:8ee56769d6cca92d6a8d6797fa8c15085bb9f8946ead1d24e4f8d6fce91863be","target":"record","created_at":"2026-07-05T07:09:46Z","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":"ab093930d4062072d33e001a84bb1798acf2e65cecdce4fd5ec3fbae564c95fc","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-03-28T03:55:03Z","title_canon_sha256":"991607059235b282948608f9fbd2545f222c473f15ca9c8c6b064407564eba12"},"schema_version":"1.0","source":{"id":"2303.15714","kind":"arxiv","version":4}},"canonical_sha256":"c67a1de55c45d77818ec2f2c1897ec672901f110d38870d6e0de97edf382138a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c67a1de55c45d77818ec2f2c1897ec672901f110d38870d6e0de97edf382138a","first_computed_at":"2026-07-05T07:09:46.926963Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:09:46.926963Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gI8Mc1TgselDdUoUxuw+dOJ8z3F9Ql5yB0QS/wxrGUyKQsxn+r1vBHlcMku3e2Bzq+cIRBhIqpHpo4vSOU1KDw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:09:46.927483Z","signed_message":"canonical_sha256_bytes"},"source_id":"2303.15714","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8ee56769d6cca92d6a8d6797fa8c15085bb9f8946ead1d24e4f8d6fce91863be","sha256:18cf33a9596ec6c5c0d144e06cbb19993088d0e3e7288089ad7b84d5ae3d6ab9"],"state_sha256":"2548ca66b56ae2d30e44db22ab53109364ab96c2b22e9f5934b2763ec84ddc5e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cgI8laK2LC8UVc4pmDRS6zFRPAnyAu6iPJcB1ZeHRGayoMZVmGmUdwl0WSdm7Ju1AeBUyMaa8Vf43BJBRxn/AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T16:19:57.073131Z","bundle_sha256":"d04bf1f7412391ecefc186150b57604e53a595ff826f892a733b69fb4d13501d"}}