{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:O5JKSSITJ5KO6EPWZRWVDRN25L","short_pith_number":"pith:O5JKSSIT","canonical_record":{"source":{"id":"2309.11688","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-09-20T23:44:16Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"bfbb26e1997f8f1c2a3a0571e5d3d312dc6b7d89c268c8d3137de041664f9ea7","abstract_canon_sha256":"627d6c7a25aadeddc511659aafefd50723019ebdb1d7ff05e6da48b049f74262"},"schema_version":"1.0"},"canonical_sha256":"7752a949134f54ef11f6cc6d51c5baeadf9152ac51610736e284aa617bc57174","source":{"kind":"arxiv","id":"2309.11688","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.11688","created_at":"2026-07-05T06:52:53Z"},{"alias_kind":"arxiv_version","alias_value":"2309.11688v1","created_at":"2026-07-05T06:52:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.11688","created_at":"2026-07-05T06:52:53Z"},{"alias_kind":"pith_short_12","alias_value":"O5JKSSITJ5KO","created_at":"2026-07-05T06:52:53Z"},{"alias_kind":"pith_short_16","alias_value":"O5JKSSITJ5KO6EPW","created_at":"2026-07-05T06:52:53Z"},{"alias_kind":"pith_short_8","alias_value":"O5JKSSIT","created_at":"2026-07-05T06:52:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:O5JKSSITJ5KO6EPWZRWVDRN25L","target":"record","payload":{"canonical_record":{"source":{"id":"2309.11688","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-09-20T23:44:16Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"bfbb26e1997f8f1c2a3a0571e5d3d312dc6b7d89c268c8d3137de041664f9ea7","abstract_canon_sha256":"627d6c7a25aadeddc511659aafefd50723019ebdb1d7ff05e6da48b049f74262"},"schema_version":"1.0"},"canonical_sha256":"7752a949134f54ef11f6cc6d51c5baeadf9152ac51610736e284aa617bc57174","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:52:53.064116Z","signature_b64":"5+3rZ3EfvucXHidFW45SQ76QKEGjCKaPjm7bz3t6arGCugQlFA/IR61YdYOZ62dEuM1zktBQ98QBCl48tkLVDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7752a949134f54ef11f6cc6d51c5baeadf9152ac51610736e284aa617bc57174","last_reissued_at":"2026-07-05T06:52:53.063554Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:52:53.063554Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2309.11688","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-05T06:52:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yTyCy6QVSt4HKBOTF2R9zeEyGh03hKDkO+lr7ikFXCiylRR29GjbrR+OlecQ71We6DVXx2j7sp0vWubSPrRJAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T14:43:14.108181Z"},"content_sha256":"27b43bc714ffa803e573e6fa22d9de4c14c95b5ce3a8340189cfcecdba335c40","schema_version":"1.0","event_id":"sha256:27b43bc714ffa803e573e6fa22d9de4c14c95b5ce3a8340189cfcecdba335c40"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:O5JKSSITJ5KO6EPWZRWVDRN25L","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LLM Guided Inductive Inference for Solving Compositional Problems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Abhigya Sodani, Lauren Moos, Matthew Mirman","submitted_at":"2023-09-20T23:44:16Z","abstract_excerpt":"While large language models (LLMs) have demonstrated impressive performance in question-answering tasks, their performance is limited when the questions require knowledge that is not included in the model's training data and can only be acquired through direct observation or interaction with the real world. Existing methods decompose reasoning tasks through the use of modules invoked sequentially, limiting their ability to answer deep reasoning tasks. We introduce a method, Recursion based extensible LLM (REBEL), which handles open-world, deep reasoning tasks by employing automated reasoning t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.11688","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/2309.11688/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:52:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6S93k51TLOYwIAdDKxEtxSx33xNI8lTg6yk3aufUPDw21UKePQzmlsXjouPKCfC0Lkj2H2S0x+jGhh3ZY1ToDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T14:43:14.108561Z"},"content_sha256":"0e26465906a4762263089696cfaca332483bad226baf22baefc79dc773c97109","schema_version":"1.0","event_id":"sha256:0e26465906a4762263089696cfaca332483bad226baf22baefc79dc773c97109"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O5JKSSITJ5KO6EPWZRWVDRN25L/bundle.json","state_url":"https://pith.science/pith/O5JKSSITJ5KO6EPWZRWVDRN25L/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O5JKSSITJ5KO6EPWZRWVDRN25L/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-20T14:43:14Z","links":{"resolver":"https://pith.science/pith/O5JKSSITJ5KO6EPWZRWVDRN25L","bundle":"https://pith.science/pith/O5JKSSITJ5KO6EPWZRWVDRN25L/bundle.json","state":"https://pith.science/pith/O5JKSSITJ5KO6EPWZRWVDRN25L/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O5JKSSITJ5KO6EPWZRWVDRN25L/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:O5JKSSITJ5KO6EPWZRWVDRN25L","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":"627d6c7a25aadeddc511659aafefd50723019ebdb1d7ff05e6da48b049f74262","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-09-20T23:44:16Z","title_canon_sha256":"bfbb26e1997f8f1c2a3a0571e5d3d312dc6b7d89c268c8d3137de041664f9ea7"},"schema_version":"1.0","source":{"id":"2309.11688","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.11688","created_at":"2026-07-05T06:52:53Z"},{"alias_kind":"arxiv_version","alias_value":"2309.11688v1","created_at":"2026-07-05T06:52:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.11688","created_at":"2026-07-05T06:52:53Z"},{"alias_kind":"pith_short_12","alias_value":"O5JKSSITJ5KO","created_at":"2026-07-05T06:52:53Z"},{"alias_kind":"pith_short_16","alias_value":"O5JKSSITJ5KO6EPW","created_at":"2026-07-05T06:52:53Z"},{"alias_kind":"pith_short_8","alias_value":"O5JKSSIT","created_at":"2026-07-05T06:52:53Z"}],"graph_snapshots":[{"event_id":"sha256:0e26465906a4762263089696cfaca332483bad226baf22baefc79dc773c97109","target":"graph","created_at":"2026-07-05T06:52:53Z","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/2309.11688/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"While large language models (LLMs) have demonstrated impressive performance in question-answering tasks, their performance is limited when the questions require knowledge that is not included in the model's training data and can only be acquired through direct observation or interaction with the real world. Existing methods decompose reasoning tasks through the use of modules invoked sequentially, limiting their ability to answer deep reasoning tasks. We introduce a method, Recursion based extensible LLM (REBEL), which handles open-world, deep reasoning tasks by employing automated reasoning t","authors_text":"Abhigya Sodani, Lauren Moos, Matthew Mirman","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-09-20T23:44:16Z","title":"LLM Guided Inductive Inference for Solving Compositional Problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.11688","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:27b43bc714ffa803e573e6fa22d9de4c14c95b5ce3a8340189cfcecdba335c40","target":"record","created_at":"2026-07-05T06:52:53Z","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":"627d6c7a25aadeddc511659aafefd50723019ebdb1d7ff05e6da48b049f74262","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2023-09-20T23:44:16Z","title_canon_sha256":"bfbb26e1997f8f1c2a3a0571e5d3d312dc6b7d89c268c8d3137de041664f9ea7"},"schema_version":"1.0","source":{"id":"2309.11688","kind":"arxiv","version":1}},"canonical_sha256":"7752a949134f54ef11f6cc6d51c5baeadf9152ac51610736e284aa617bc57174","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7752a949134f54ef11f6cc6d51c5baeadf9152ac51610736e284aa617bc57174","first_computed_at":"2026-07-05T06:52:53.063554Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:52:53.063554Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5+3rZ3EfvucXHidFW45SQ76QKEGjCKaPjm7bz3t6arGCugQlFA/IR61YdYOZ62dEuM1zktBQ98QBCl48tkLVDw==","signature_status":"signed_v1","signed_at":"2026-07-05T06:52:53.064116Z","signed_message":"canonical_sha256_bytes"},"source_id":"2309.11688","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:27b43bc714ffa803e573e6fa22d9de4c14c95b5ce3a8340189cfcecdba335c40","sha256:0e26465906a4762263089696cfaca332483bad226baf22baefc79dc773c97109"],"state_sha256":"3c03734856b1dba7243347b25a05f3b53537efc8a2afb5c9a3722b5e88a86fce"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9DFeGylqloIF+ua0XpK0V0V1/8FLl6zVn/burV5FNCW437Btc7+GHSN3CJ6y7ecdrkE0izr4jm9ffWerCk8DAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T14:43:14.110986Z","bundle_sha256":"0bd6c0c563dd6aef1fb081a31aefe3cf25852de4aacbca8ff867338d3c787163"}}