{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:Y27ZQPF4QFJEVLAZNO7PC3WUZR","short_pith_number":"pith:Y27ZQPF4","schema_version":"1.0","canonical_sha256":"c6bf983cbc81524aac196bbef16ed4cc79e01963d0e5fb4d4c7544850813b71f","source":{"kind":"arxiv","id":"2402.01817","version":3},"attestation_state":"computed","paper":{"title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Anil Murthy, Karthik Valmeekam, Kaya Stechly, Lin Guan, Lucas Saldyt, Mudit Verma, Siddhant Bhambri, Subbarao Kambhampati","submitted_at":"2024-02-02T14:43:18Z","abstract_excerpt":"There is considerable confusion about the role of Large Language Models (LLMs) in planning and reasoning tasks. On one side are over-optimistic claims that LLMs can indeed do these tasks with just the right prompting or self-verification strategies. On the other side are perhaps over-pessimistic claims that all that LLMs are good for in planning/reasoning tasks are as mere translators of the problem specification from one syntactic format to another, and ship the problem off to external symbolic solvers. In this position paper, we take the view that both these extremes are misguided. We argue "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2402.01817","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-02-02T14:43:18Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"9af09e9a8db950429ca119b605b7a1d331a284a90982c6b6b5bc3c8ab966aeb0","abstract_canon_sha256":"2541978e8d092d7553fcdb825745e5d4dad0e3161fe624bef52edc64f5c42af3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:30:31.477532Z","signature_b64":"ay0jZw52ushQSDdIDshYOpzRpqv4RyBpNJeOAUAq1SwIQiRd5UNuKo7fv3hbT7BuKfCDUSMkUlxtY4h+kJccBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c6bf983cbc81524aac196bbef16ed4cc79e01963d0e5fb4d4c7544850813b71f","last_reissued_at":"2026-07-05T08:30:31.476986Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:30:31.476986Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Anil Murthy, Karthik Valmeekam, Kaya Stechly, Lin Guan, Lucas Saldyt, Mudit Verma, Siddhant Bhambri, Subbarao Kambhampati","submitted_at":"2024-02-02T14:43:18Z","abstract_excerpt":"There is considerable confusion about the role of Large Language Models (LLMs) in planning and reasoning tasks. On one side are over-optimistic claims that LLMs can indeed do these tasks with just the right prompting or self-verification strategies. On the other side are perhaps over-pessimistic claims that all that LLMs are good for in planning/reasoning tasks are as mere translators of the problem specification from one syntactic format to another, and ship the problem off to external symbolic solvers. In this position paper, we take the view that both these extremes are misguided. We argue "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.01817","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/2402.01817/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2402.01817","created_at":"2026-07-05T08:30:31.477044+00:00"},{"alias_kind":"arxiv_version","alias_value":"2402.01817v3","created_at":"2026-07-05T08:30:31.477044+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.01817","created_at":"2026-07-05T08:30:31.477044+00:00"},{"alias_kind":"pith_short_12","alias_value":"Y27ZQPF4QFJE","created_at":"2026-07-05T08:30:31.477044+00:00"},{"alias_kind":"pith_short_16","alias_value":"Y27ZQPF4QFJEVLAZ","created_at":"2026-07-05T08:30:31.477044+00:00"},{"alias_kind":"pith_short_8","alias_value":"Y27ZQPF4","created_at":"2026-07-05T08:30:31.477044+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":16,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2607.07492","citing_title":"Search, Fail, Recover: A Training Framework for Correction-Aware Reasoning","ref_index":30,"is_internal_anchor":true},{"citing_arxiv_id":"2606.26649","citing_title":"Autoformalization of Agent Instructions into Policy-as-Code","ref_index":9,"is_internal_anchor":false},{"citing_arxiv_id":"2606.21740","citing_title":"Training the Orchestrator: A Supervised Approach to End-to-End PDDL Planning with LLM Agents","ref_index":8,"is_internal_anchor":false},{"citing_arxiv_id":"2606.05250","citing_title":"Towards Persistent Case-Based Memory for Autonomous Data Science: A CBR-Augmented R&D-Agent with a Locally Deployable Small Language Model","ref_index":44,"is_internal_anchor":false},{"citing_arxiv_id":"2606.04421","citing_title":"Trivium: Temporal Regret as a First-Class Objective for Causal-Memory Controllers","ref_index":37,"is_internal_anchor":false},{"citing_arxiv_id":"2504.01990","citing_title":"Advances and Challenges in Foundation Agents: From Brain-Inspired Intelligence to Evolutionary, Collaborative, and Safe Systems","ref_index":205,"is_internal_anchor":false},{"citing_arxiv_id":"2605.15333","citing_title":"Zero-Shot Goal Recognition with Large Language Models","ref_index":5,"is_internal_anchor":false},{"citing_arxiv_id":"2509.16615","citing_title":"LLM-Guided Task- and Affordance-Level Exploration in Reinforcement Learning","ref_index":15,"is_internal_anchor":false},{"citing_arxiv_id":"2512.09629","citing_title":"End-to-end PDDL Planning with Hardcoded and Dynamic Agents","ref_index":19,"is_internal_anchor":false},{"citing_arxiv_id":"2511.20857","citing_title":"Evo-Memory: Benchmarking LLM Agent Test-time Learning with Self-Evolving Memory","ref_index":203,"is_internal_anchor":false},{"citing_arxiv_id":"2604.27699","citing_title":"Bridging Values and Behavior: A Hierarchical Framework for Proactive Embodied Agents","ref_index":17,"is_internal_anchor":false},{"citing_arxiv_id":"2605.03255","citing_title":"Do LLMs have core beliefs?","ref_index":6,"is_internal_anchor":false},{"citing_arxiv_id":"2605.06040","citing_title":"Novelty-based Tree-of-Thought Search for LLM Reasoning and Planning","ref_index":26,"is_internal_anchor":false},{"citing_arxiv_id":"2604.20795","citing_title":"Automatic Ontology Construction Using LLMs as an External Layer of Memory, Verification, and Planning for Hybrid Intelligent Systems","ref_index":18,"is_internal_anchor":false},{"citing_arxiv_id":"2604.09338","citing_title":"Mind the Gap Between Spatial Reasoning and Acting! Step-by-Step Evaluation of Agents With Spatial-Gym","ref_index":1,"is_internal_anchor":false},{"citing_arxiv_id":"2605.02765","citing_title":"U-Define: Designing User Workflows for Hard and Soft Constraints in LLM-Based Planning","ref_index":49,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/Y27ZQPF4QFJEVLAZNO7PC3WUZR","json":"https://pith.science/pith/Y27ZQPF4QFJEVLAZNO7PC3WUZR.json","graph_json":"https://pith.science/api/pith-number/Y27ZQPF4QFJEVLAZNO7PC3WUZR/graph.json","events_json":"https://pith.science/api/pith-number/Y27ZQPF4QFJEVLAZNO7PC3WUZR/events.json","paper":"https://pith.science/paper/Y27ZQPF4"},"agent_actions":{"view_html":"https://pith.science/pith/Y27ZQPF4QFJEVLAZNO7PC3WUZR","download_json":"https://pith.science/pith/Y27ZQPF4QFJEVLAZNO7PC3WUZR.json","view_paper":"https://pith.science/paper/Y27ZQPF4","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2402.01817&json=true","fetch_graph":"https://pith.science/api/pith-number/Y27ZQPF4QFJEVLAZNO7PC3WUZR/graph.json","fetch_events":"https://pith.science/api/pith-number/Y27ZQPF4QFJEVLAZNO7PC3WUZR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/Y27ZQPF4QFJEVLAZNO7PC3WUZR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/Y27ZQPF4QFJEVLAZNO7PC3WUZR/action/storage_attestation","attest_author":"https://pith.science/pith/Y27ZQPF4QFJEVLAZNO7PC3WUZR/action/author_attestation","sign_citation":"https://pith.science/pith/Y27ZQPF4QFJEVLAZNO7PC3WUZR/action/citation_signature","submit_replication":"https://pith.science/pith/Y27ZQPF4QFJEVLAZNO7PC3WUZR/action/replication_record"}},"created_at":"2026-07-05T08:30:31.477044+00:00","updated_at":"2026-07-05T08:30:31.477044+00:00"}