{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:TBFLTMF5ATDFUC5GRD2YOK4ZTL","short_pith_number":"pith:TBFLTMF5","canonical_record":{"source":{"id":"2405.20625","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-05-31T05:23:35Z","cross_cats_sorted":[],"title_canon_sha256":"82cf771b9758ad223244c66af5adb0846428041efbc91646526ca873cba23f8f","abstract_canon_sha256":"eb884c47bbc02d8b55c8b13d51a09a3ba45668f5b62d77f32b235074142b6b02"},"schema_version":"1.0"},"canonical_sha256":"984ab9b0bd04c65a0ba688f5872b999acf9ca72f5ad39c7c3547fece2e09a41b","source":{"kind":"arxiv","id":"2405.20625","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.20625","created_at":"2026-07-05T08:25:39Z"},{"alias_kind":"arxiv_version","alias_value":"2405.20625v1","created_at":"2026-07-05T08:25:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.20625","created_at":"2026-07-05T08:25:39Z"},{"alias_kind":"pith_short_12","alias_value":"TBFLTMF5ATDF","created_at":"2026-07-05T08:25:39Z"},{"alias_kind":"pith_short_16","alias_value":"TBFLTMF5ATDFUC5G","created_at":"2026-07-05T08:25:39Z"},{"alias_kind":"pith_short_8","alias_value":"TBFLTMF5","created_at":"2026-07-05T08:25:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:TBFLTMF5ATDFUC5GRD2YOK4ZTL","target":"record","payload":{"canonical_record":{"source":{"id":"2405.20625","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-05-31T05:23:35Z","cross_cats_sorted":[],"title_canon_sha256":"82cf771b9758ad223244c66af5adb0846428041efbc91646526ca873cba23f8f","abstract_canon_sha256":"eb884c47bbc02d8b55c8b13d51a09a3ba45668f5b62d77f32b235074142b6b02"},"schema_version":"1.0"},"canonical_sha256":"984ab9b0bd04c65a0ba688f5872b999acf9ca72f5ad39c7c3547fece2e09a41b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:25:39.965835Z","signature_b64":"H69+4KgVUXw+NenRTG+iWNnk8BmlNlvFMZaOxMuDMLeEvMMgDDDX/Vicu1Y14UFbhd++xfvEBXYYsx4XzVy2Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"984ab9b0bd04c65a0ba688f5872b999acf9ca72f5ad39c7c3547fece2e09a41b","last_reissued_at":"2026-07-05T08:25:39.965356Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:25:39.965356Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2405.20625","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:25:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HpfkbLNxYQ8HgkHrptbsE2Xjluo8ghSKaifFsVa+KUdtKK1AZOOGLqvHKLEiHA5ZzGLrHPx/4PAr3jgge2B8Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T20:57:27.603470Z"},"content_sha256":"4e32afa3a7df93dc49cb127b1c0f0ffc28bfad63ea9e2624447acc575d14b4d4","schema_version":"1.0","event_id":"sha256:4e32afa3a7df93dc49cb127b1c0f0ffc28bfad63ea9e2624447acc575d14b4d4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:TBFLTMF5ATDFUC5GRD2YOK4ZTL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Robust Planning with LLM-Modulo Framework: Case Study in Travel Planning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Atharva Gundawar, Karthik Valmeekam, Lin Guan, Mudit Verma, Siddhant Bhambri, Subbarao Kambhampati","submitted_at":"2024-05-31T05:23:35Z","abstract_excerpt":"As the applicability of Large Language Models (LLMs) extends beyond traditional text processing tasks, there is a burgeoning interest in their potential to excel in planning and reasoning assignments, realms traditionally reserved for System 2 cognitive competencies. Despite their perceived versatility, the research community is still unraveling effective strategies to harness these models in such complex domains. The recent discourse introduced by the paper on LLM Modulo marks a significant stride, proposing a conceptual framework that enhances the integration of LLMs into diverse planning an"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.20625","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/2405.20625/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:25:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KKpwDP+knHg/VppvCFEHBH8hArgcCo6E1X0KCpQKIjRiAfAXqdKU0HBZXYAI9O79LGQyY1EgQJMyywiK7P2oDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T20:57:27.604377Z"},"content_sha256":"71b1394bb8db6515b129d42259acebd73acd4f3a8a568f97d2ec6392ea6cf1cd","schema_version":"1.0","event_id":"sha256:71b1394bb8db6515b129d42259acebd73acd4f3a8a568f97d2ec6392ea6cf1cd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TBFLTMF5ATDFUC5GRD2YOK4ZTL/bundle.json","state_url":"https://pith.science/pith/TBFLTMF5ATDFUC5GRD2YOK4ZTL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TBFLTMF5ATDFUC5GRD2YOK4ZTL/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-07T20:57:27Z","links":{"resolver":"https://pith.science/pith/TBFLTMF5ATDFUC5GRD2YOK4ZTL","bundle":"https://pith.science/pith/TBFLTMF5ATDFUC5GRD2YOK4ZTL/bundle.json","state":"https://pith.science/pith/TBFLTMF5ATDFUC5GRD2YOK4ZTL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TBFLTMF5ATDFUC5GRD2YOK4ZTL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:TBFLTMF5ATDFUC5GRD2YOK4ZTL","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":"eb884c47bbc02d8b55c8b13d51a09a3ba45668f5b62d77f32b235074142b6b02","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-05-31T05:23:35Z","title_canon_sha256":"82cf771b9758ad223244c66af5adb0846428041efbc91646526ca873cba23f8f"},"schema_version":"1.0","source":{"id":"2405.20625","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.20625","created_at":"2026-07-05T08:25:39Z"},{"alias_kind":"arxiv_version","alias_value":"2405.20625v1","created_at":"2026-07-05T08:25:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.20625","created_at":"2026-07-05T08:25:39Z"},{"alias_kind":"pith_short_12","alias_value":"TBFLTMF5ATDF","created_at":"2026-07-05T08:25:39Z"},{"alias_kind":"pith_short_16","alias_value":"TBFLTMF5ATDFUC5G","created_at":"2026-07-05T08:25:39Z"},{"alias_kind":"pith_short_8","alias_value":"TBFLTMF5","created_at":"2026-07-05T08:25:39Z"}],"graph_snapshots":[{"event_id":"sha256:71b1394bb8db6515b129d42259acebd73acd4f3a8a568f97d2ec6392ea6cf1cd","target":"graph","created_at":"2026-07-05T08:25: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/2405.20625/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As the applicability of Large Language Models (LLMs) extends beyond traditional text processing tasks, there is a burgeoning interest in their potential to excel in planning and reasoning assignments, realms traditionally reserved for System 2 cognitive competencies. Despite their perceived versatility, the research community is still unraveling effective strategies to harness these models in such complex domains. The recent discourse introduced by the paper on LLM Modulo marks a significant stride, proposing a conceptual framework that enhances the integration of LLMs into diverse planning an","authors_text":"Atharva Gundawar, Karthik Valmeekam, Lin Guan, Mudit Verma, Siddhant Bhambri, Subbarao Kambhampati","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-05-31T05:23:35Z","title":"Robust Planning with LLM-Modulo Framework: Case Study in Travel Planning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.20625","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:4e32afa3a7df93dc49cb127b1c0f0ffc28bfad63ea9e2624447acc575d14b4d4","target":"record","created_at":"2026-07-05T08:25: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":"eb884c47bbc02d8b55c8b13d51a09a3ba45668f5b62d77f32b235074142b6b02","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-05-31T05:23:35Z","title_canon_sha256":"82cf771b9758ad223244c66af5adb0846428041efbc91646526ca873cba23f8f"},"schema_version":"1.0","source":{"id":"2405.20625","kind":"arxiv","version":1}},"canonical_sha256":"984ab9b0bd04c65a0ba688f5872b999acf9ca72f5ad39c7c3547fece2e09a41b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"984ab9b0bd04c65a0ba688f5872b999acf9ca72f5ad39c7c3547fece2e09a41b","first_computed_at":"2026-07-05T08:25:39.965356Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:25:39.965356Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"H69+4KgVUXw+NenRTG+iWNnk8BmlNlvFMZaOxMuDMLeEvMMgDDDX/Vicu1Y14UFbhd++xfvEBXYYsx4XzVy2Ag==","signature_status":"signed_v1","signed_at":"2026-07-05T08:25:39.965835Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.20625","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4e32afa3a7df93dc49cb127b1c0f0ffc28bfad63ea9e2624447acc575d14b4d4","sha256:71b1394bb8db6515b129d42259acebd73acd4f3a8a568f97d2ec6392ea6cf1cd"],"state_sha256":"872b689b191edbf0cd300141da47471d5c82a0c5eae52d4c8108ee0ed15f67cf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QnxK/1tBYlg4AR5ttHdONhhdLfnYcjs2lZBmponAAjSE1MuskGKuduaS+0z3em4U7JUMFtsOuzO9Gczuk/sgDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T20:57:27.619899Z","bundle_sha256":"319172863328c461fed829246222602a2bb71de94010fa652044373ae2583f52"}}