{"as_of":"2026-08-18T10:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:78a2ad976a70de0513864164b6057f52159f8c8230897c9333bb168d4cfd1ee4","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":46,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":46,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+00:00","state":"measured"},{"denominator":46,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":46,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T17:18:36.345518Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"pith","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":10,"observed_at":"2026-08-05T02:28:24.338817Z","source":"pith"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-12T21:40:44.254422Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.08432","last_updated":"2024-11-13T08:32:42Z","snapshot_observed_at":"2026-08-15T05:56:19.525777Z","submitted_at":"2024-11-13T08:32:42Z","title":"One STEP at a time: Language Agents are Stepwise Planners","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-12T21:40:44.254422Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2411.08432"},"observation_digest":"sha256:3f69fa8e66c3e9bb43e094df4ecd0e28bdf7c4d93d6f1c830b3c0cfec068990c","observation_id":"a0d68c15-a524-4118-833a-068d68515176","resolution":{"observed_at":"2026-08-12T21:40:44.254422Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-12T16:42:23.469235Z","title":"arXiv preprint arXiv:2402.01817 (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.13269","last_updated":"2024-11-20T12:38:17Z","snapshot_observed_at":"2026-08-14T23:40:28.817628Z","submitted_at":"2024-11-20T12:38:17Z","title":"Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:23.469235Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2411.13269"},"observation_digest":"sha256:40902265428b3f36bf6dcf1fdf88bd74cc74c2730276040644bcf044f403e1a4","observation_id":"db7c4899-35cf-454e-807a-f1e409a3671b","resolution":{"observed_at":"2026-08-12T16:42:23.469235Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-12T16:21:08.213660Z","title":"Llms can't plan, but can help planning in llm-modulo frameworks","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.13543","last_updated":"2025-04-01T14:45:22Z","snapshot_observed_at":"2026-08-17T20:50:49.728665Z","submitted_at":"2024-11-20T18:54:32Z","title":"BALROG: Benchmarking Agentic LLM and VLM Reasoning On Games","version":2},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-12T16:21:08.213660Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2411.13543"},"observation_digest":"sha256:e4156d49fcbe34380d54eb7064063bc95be25180bed7ea707fd9a0c30f7da527","observation_id":"4e48622f-3829-4ee0-8143-fb1e87941785","resolution":{"observed_at":"2026-08-12T16:21:08.213660Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-12T16:42:08.208048Z","title":"Llms can’t plan, but can help planning in llm-modulo frameworksgundawar2024robust","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.14491","last_updated":"2024-12-01T08:37:51Z","snapshot_observed_at":"2026-08-17T23:28:23.604729Z","submitted_at":"2024-11-20T12:34:44Z","title":"A Survey on Human-Centric LLMs","version":3},"reference_index":106,"source":"pdf_text","source_observed_at":"2026-08-12T16:42:08.208048Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2411.14491"},"observation_digest":"sha256:620c96669eb953f8bec3d2ae330b55ddfc997dcf7ccdbef874f70a6b2875d22a","observation_id":"ed5eaef8-bcbf-4c22-9682-ae5b26b71701","resolution":{"observed_at":"2026-08-12T16:42:08.208048Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-12T14:38:25.176934Z","title":"Kambhampati, K","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.15033","last_updated":"2024-11-22T16:05:54Z","snapshot_observed_at":"2026-08-16T10:37:57.600393Z","submitted_at":"2024-11-22T16:05:54Z","title":"One to rule them all: natural language to bind communication, perception and action","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T14:38:25.176934Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2411.15033"},"observation_digest":"sha256:954d737fa60ad75bf9f644b6834101acb93fbc598760168cb3a2bc4ba441569c","observation_id":"d4297028-95fd-4056-a5fa-6c60df6d24f1","resolution":{"observed_at":"2026-08-12T14:38:25.176934Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-11T21:23:18.674748Z","title":"Llms can't plan, but can help planning in llm-modulo frameworks","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.04703","last_updated":"2025-03-16T11:57:25Z","snapshot_observed_at":"2026-08-16T13:00:32.352556Z","submitted_at":"2024-12-06T01:29:24Z","title":"Transformers Struggle to Learn to Search","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-11T21:23:18.674748Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2412.04703"},"observation_digest":"sha256:e06eb3ceee6b4a83b2e2abb94b13f2176d21a54a48cc6b3d8af61099a71fdced","observation_id":"493c13b4-9c45-4bf9-b3c3-8955a2392c41","resolution":{"observed_at":"2026-08-11T21:23:18.674748Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-11T16:41:11.181871Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.09879","last_updated":"2025-05-31T22:14:36Z","snapshot_observed_at":"2026-08-13T05:40:35.724346Z","submitted_at":"2024-12-13T05:50:22Z","title":"On the Limit of Language Models as Planning Formalizers","version":4},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-11T16:41:11.181871Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2412.09879"},"observation_digest":"sha256:88a8c1b804559fab8fcbceff59b223806bf09304d64c56d505530e5c93695cc4","observation_id":"976830a2-fc41-4ff0-bc14-1cdfa8a0039b","resolution":{"observed_at":"2026-08-11T16:41:11.181871Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-10T20:26:29.231090Z","title":"Llms can't plan, but can help planning in llm-modulo frameworks","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.08603","last_updated":"2025-01-31T05:28:15Z","snapshot_observed_at":"2026-08-16T05:19:04.695947Z","submitted_at":"2025-01-15T06:00:50Z","title":"Monte Carlo Tree Search for Comprehensive Exploration in LLM-Based Automatic Heuristic Design","version":3},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-10T20:26:29.231090Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2501.08603"},"observation_digest":"sha256:63b9fe709650bf7305d2c6abf55a17727b18b24767032fc76254dbedcbede2ef","observation_id":"52f255aa-90eb-45ea-b340-44e030371b38","resolution":{"observed_at":"2026-08-10T20:26:29.231090Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-10T20:18:58.315070Z","title":"Kambhampati, K","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.08925","last_updated":"2025-08-24T16:04:08Z","snapshot_observed_at":"2026-08-17T10:56:42.134362Z","submitted_at":"2025-01-15T16:30:29Z","title":"Disentangling Exploration of Large Language Models by Optimal Exploitation","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-10T20:18:58.315070Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2501.08925"},"observation_digest":"sha256:0ba46cf161d2611038c58974f083dd59d09f57b215030de9c5c9d92b586ce1bd","observation_id":"9396374a-002a-4bdc-971f-95e14ebec8a8","resolution":{"observed_at":"2026-08-10T20:18:58.315070Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-09T15:31:48.264215Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.01390","last_updated":"2025-02-03T14:23:22Z","snapshot_observed_at":"2026-08-13T14:27:50.989227Z","submitted_at":"2025-02-03T14:23:22Z","title":"Plan-Then-Execute: An Empirical Study of User Trust and Team Performance When Using LLM Agents As A Daily Assistant","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-09T15:31:48.264215Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2502.01390"},"observation_digest":"sha256:747aa61fed9976fa0c588100f583fc8cfd4f47a30a729faf786933d46b595d70","observation_id":"e7dd7d27-af97-4d77-ad04-d4254582bd64","resolution":{"observed_at":"2026-08-09T15:31:48.264215Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-09T12:09:18.742572Z","title":"Kambhampati, K","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.02441","last_updated":"2025-02-04T16:08:48Z","snapshot_observed_at":"2026-08-14T05:33:25.179064Z","submitted_at":"2025-02-04T16:08:48Z","title":"LLMER: Crafting Interactive Extended Reality Worlds with JSON Data Generated by Large Language Models","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-09T12:09:18.742572Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2502.02441"},"observation_digest":"sha256:194572b36593192c47fec837d241f76853289b104b6adf627b9d52192d42083c","observation_id":"21bb43d1-ed60-4aaf-9670-c37aebba8549","resolution":{"observed_at":"2026-08-09T12:09:18.742572Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-09T11:20:31.804544Z","title":"Llms can't plan, but can help planning in llm-modulo frameworks","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2502.06813","last_updated":"2025-02-04T22:08:20Z","snapshot_observed_at":"2026-08-17T07:18:35.760709Z","submitted_at":"2025-02-04T22:08:20Z","title":"Policy Guided Tree Search for Enhanced LLM Reasoning","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-09T11:20:31.804544Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2502.06813"},"observation_digest":"sha256:6d793e55b316b45c914110c2c11a49abc6bcccf595733c437c871c71088eed6d","observation_id":"03cc6b19-91f4-42af-b502-393f4edf18d8","resolution":{"observed_at":"2026-08-09T11:20:31.804544Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-07T23:44:10.819742Z","title":"Po- sition: Llms can’t plan, but can help planning in llm- modulo frameworks","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.08794","last_updated":"2025-02-12T21:17:30Z","snapshot_observed_at":"2026-08-17T00:18:06.088680Z","submitted_at":"2025-02-12T21:17:30Z","title":"Spectral Journey: How Transformers Predict the Shortest Path","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T23:44:10.819742Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2502.08794"},"observation_digest":"sha256:6bb35f9f439e15d4303d4e212059654efae90cc33ebc27ed7db716877e0bd1fe","observation_id":"38d1109d-318d-4081-9145-4ad08567a585","resolution":{"observed_at":"2026-08-07T23:44:10.819742Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":"2402.01817","doi":"10.48550/arxiv.2402.01817","metadata_source":"pith","pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Llms can’t plan, but can help planning in llm-modulo frameworks","venue":"cs.AI","work_id":"84a8bc82-1248-4ee2-a5ca-15d73cdc12be","year":2024},"citing_paper":{"arxiv_id":"2504.01990","last_updated":"2025-08-02T12:44:02Z","snapshot_observed_at":"2026-08-12T16:45:40.094278Z","submitted_at":"2025-03-31T18:00:29Z","title":"Advances and Challenges in Foundation Agents: From Brain-Inspired Intelligence to Evolutionary, Collaborative, and Safe Systems","version":2},"reference_index":205,"source":"pdf_text","source_observed_at":"2026-05-22T21:39:49.832151Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2504.01990"},"observation_digest":"sha256:16b8cbd84cfc35cbd65c425b7a38de46fbde966290331d681b02785fd4ccb1e3","observation_id":"d747a633-f086-48e2-b137-3f95233d6144","resolution":{"observed_at":"2026-05-22T21:42:11.087976Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-07T13:23:43.916431Z","title":"Kambhampati, K","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2505.21981","last_updated":"2025-05-28T05:19:59Z","snapshot_observed_at":"2026-08-16T05:50:35.952133Z","submitted_at":"2025-05-28T05:19:59Z","title":"Learning Compositional Behaviors from Demonstration and Language","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T13:23:43.916431Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2505.21981"},"observation_digest":"sha256:99a19e5c3e46444fce285d03885c0025ae7339e1f6c2531c22b72b51bc219ceb","observation_id":"fbc1452d-7c50-43ed-ad71-5cb2248cd775","resolution":{"observed_at":"2026-08-07T13:23:43.916431Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-07T12:13:22.927493Z","title":"https://arxiv.org/abs/2402.01817 16 A Appendix A.1 User Profile Example Fig","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.00242","last_updated":"2025-05-30T21:16:25Z","snapshot_observed_at":"2026-08-13T16:30:11.011690Z","submitted_at":"2025-05-30T21:16:25Z","title":"Whispers of Many Shores: Cultural Alignment through Collaborative Cultural Expertise","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T12:13:22.927493Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2506.00242"},"observation_digest":"sha256:4b0c88eb3cbcb18799c9f81cced3946b124e9ae06d5b5670eefe793674cf43e4","observation_id":"a36ab972-9669-4cdf-b207-c73a9cf588de","resolution":{"observed_at":"2026-08-07T12:13:22.927493Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-07T11:47:00.244780Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.01474","last_updated":"2025-06-02T09:34:37Z","snapshot_observed_at":"2026-08-16T21:47:19.634272Z","submitted_at":"2025-06-02T09:34:37Z","title":"Integrating Neural and Symbolic Components in a Model of Pragmatic Question-Answering","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-07T11:47:00.244780Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2506.01474"},"observation_digest":"sha256:2e16a5d4d9812b19a6ed8a70744aeb119367d205942db51a0225b181256c60f0","observation_id":"b4ac3390-f63c-4e68-9c77-aba696767cee","resolution":{"observed_at":"2026-08-07T11:47:00.244780Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-07T06:09:18.782339Z","title":"Llms can't plan, but can help planning in llm-modulo frameworks","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.06008","last_updated":"2025-06-06T11:53:27Z","snapshot_observed_at":"2026-08-17T00:38:32.335038Z","submitted_at":"2025-06-06T11:53:27Z","title":"Token Signature: Predicting Chain-of-Thought Gains with Token Decoding Feature in Large Language Models","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-07T06:09:18.782339Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2506.06008"},"observation_digest":"sha256:4d36c9141c2442ce4b14cc81a8c5e3fb15953e442b814d82b501e163318319ca","observation_id":"93b309fd-0019-4814-8f5e-ae63e4f89eea","resolution":{"observed_at":"2026-08-07T06:09:18.782339Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-07T04:38:03.983119Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.10106","last_updated":"2025-06-11T18:45:44Z","snapshot_observed_at":"2026-08-15T09:49:59.673173Z","submitted_at":"2025-06-11T18:45:44Z","title":"One For All: LLM-based Heterogeneous Mission Planning in Precision Agriculture","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T04:38:03.983119Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2506.10106"},"observation_digest":"sha256:77e6e970a6073bd4237d1db8cc1c86120bfab1a016bc435546a11d64585f0c83","observation_id":"aa545343-ac7d-4ef7-a1e1-a63f2cfaeb9f","resolution":{"observed_at":"2026-08-07T04:38:03.983119Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-07T04:38:20.457911Z","title":"LLMs can’t plan, but can help planning in LLM-modulo frameworks,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.10161","last_updated":"2025-06-11T20:27:08Z","snapshot_observed_at":"2026-08-16T21:31:48.736248Z","submitted_at":"2025-06-11T20:27:08Z","title":"Can LLMs Generate Good Stories? Insights and Challenges from a Narrative Planning Perspective","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T04:38:20.457911Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2506.10161"},"observation_digest":"sha256:dcc85745fc330c5db02b62a5ed083476e33166c26ef6017f4c42cb3b76454c02","observation_id":"fb1d3949-bc8d-4bda-92b4-a7d4ffe1d5fb","resolution":{"observed_at":"2026-08-07T04:38:20.457911Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-07T04:18:24.013731Z","title":"Llms can’t plan, but can help planning in llm-modulo frameworks","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.10897","last_updated":"2025-06-12T17:02:27Z","snapshot_observed_at":"2026-08-18T08:36:03.022205Z","submitted_at":"2025-06-12T17:02:27Z","title":"GenPlanX. Generation of Plans and Execution","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T04:18:24.013731Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2506.10897"},"observation_digest":"sha256:0ed4c3a6c4bd6ce86cf26f7d58bd93f983ae034c9f82282a0bcc6bfa11456509","observation_id":"99c2cda3-4e2e-49cc-8ba0-2d0081f64d95","resolution":{"observed_at":"2026-08-07T04:18:24.013731Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-07T14:59:32.800829Z","title":"Llms can’t plan, but can help planning in llm-modulo frameworks","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.11056","last_updated":"2025-06-23T09:40:49Z","snapshot_observed_at":"2026-08-13T22:17:37.391303Z","submitted_at":"2025-05-22T15:02:31Z","title":"xInv: Explainable Optimization of Inverse Problems","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T14:59:32.800829Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2506.11056"},"observation_digest":"sha256:5f22178f6eb75838810157c66d10f9ac9c79f1cc79a270e25be7abd98e8d5a2a","observation_id":"686fdf64-0ef4-4ef1-bdea-0c94ffab6a21","resolution":{"observed_at":"2026-08-07T14:59:32.800829Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-06T21:13:12.873393Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.00711","last_updated":"2025-07-01T12:14:22Z","snapshot_observed_at":"2026-08-13T17:27:22.573406Z","submitted_at":"2025-07-01T12:14:22Z","title":"Large Reasoning Models are not thinking straight: on the unreliability of thinking trajectories","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-06T21:13:12.873393Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2507.00711"},"observation_digest":"sha256:8a9ad6d68c25b4c0473a21160f8ce9d2a66625f32acc2d48d5b26d15084a52bb","observation_id":"7ceaeb7e-002e-4659-9f89-320e7d1bfcba","resolution":{"observed_at":"2026-08-06T21:13:12.873393Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-06T14:33:53.650053Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.18775","last_updated":"2025-07-24T19:57:18Z","snapshot_observed_at":"2026-08-17T01:48:29.487534Z","submitted_at":"2025-07-24T19:57:18Z","title":"Initial Steps in Integrating Large Reasoning and Action Models for Service Composition","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T14:33:53.650053Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2507.18775"},"observation_digest":"sha256:a29bf7a896f7673b5babc091a8f4b7535f47f6570e1509b3670daa78734fe5f8","observation_id":"53415e07-ba5a-4457-8021-3a676a94225b","resolution":{"observed_at":"2026-08-06T14:33:53.650053Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-15T17:18:36.345518Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.13371","last_updated":"2025-08-18T21:21:21Z","snapshot_observed_at":"2026-08-15T17:11:38.648035Z","submitted_at":"2025-08-18T21:21:21Z","title":"LOOP: A Plug-and-Play Neuro-Symbolic Framework for Enhancing Planning in Autonomous Systems","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-15T17:18:36.345518Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2508.13371"},"observation_digest":"sha256:8fc793076b9847c681cb11ce846fe5e61147316feb0e37536ee82f70ad99a5c0","observation_id":"55d13dc1-fee7-47bf-84bd-875aa37103c7","resolution":{"observed_at":"2026-08-15T17:18:36.345518Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":"2402.01817","doi":"10.48550/arxiv.2402.01817","metadata_source":"pith","pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Llms can’t plan, but can help planning in llm-modulo frameworks","venue":"cs.AI","work_id":"84a8bc82-1248-4ee2-a5ca-15d73cdc12be","year":2024},"citing_paper":{"arxiv_id":"2509.16615","last_updated":"2026-04-14T09:38:30Z","snapshot_observed_at":"2026-08-15T00:04:12.858839Z","submitted_at":"2025-09-20T10:37:47Z","title":"LLM-Guided Task- and Affordance-Level Exploration in Reinforcement Learning","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-18T15:19:30.609974Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2509.16615"},"observation_digest":"sha256:4741c0ff35490e00a491e67679600c52195a8ecb49fd27f677345cd7983c0526","observation_id":"a56b82d5-5705-43c0-8c0f-1ada86eb6530","resolution":{"observed_at":"2026-05-18T15:21:32.896347Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-04T13:30:29.535979Z","title":"LLMs can’t plan, but can help planning in LLM-Modulo frameworks,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.00182","last_updated":"2026-07-17T15:18:48Z","snapshot_observed_at":"2026-08-14T20:58:17.620600Z","submitted_at":"2025-09-30T19:03:14Z","title":"A Systematic Study of Large Language Models for Task and Motion Planning With PDDLStream","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-04T13:30:29.535979Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2510.00182"},"observation_digest":"sha256:c22dd6eb0ee751d39acb7747da1add05a1fb1d0c1fc4538373e4e5ee074c81e9","observation_id":"009533a7-f80b-4e22-81be-c4e2dd986977","resolution":{"observed_at":"2026-08-04T13:30:29.535979Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":"2402.01817","doi":"10.48550/arxiv.2402.01817","metadata_source":"pith","pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Llms can’t plan, but can help planning in llm-modulo frameworks","venue":"cs.AI","work_id":"84a8bc82-1248-4ee2-a5ca-15d73cdc12be","year":2024},"citing_paper":{"arxiv_id":"2511.20857","last_updated":"2026-05-18T16:18:02Z","snapshot_observed_at":"2026-08-11T09:44:01.811561Z","submitted_at":"2025-11-25T21:08:07Z","title":"Evo-Memory: Benchmarking LLM Agent Test-time Learning with Self-Evolving Memory","version":1},"reference_index":203,"source":"arxiv_source","source_observed_at":"2026-05-14T23:13:15.016486Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2511.20857"},"observation_digest":"sha256:d1063a94302604095b09d6745362ca50b771140bcea4be4651d4becde0b51067","observation_id":"bcb99b28-1a31-411e-93da-8d2e27422c4f","resolution":{"observed_at":"2026-05-14T23:13:15.448972Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":"2402.01817","doi":"10.48550/arxiv.2402.01817","metadata_source":"pith","pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Llms can’t plan, but can help planning in llm-modulo frameworks","venue":"cs.AI","work_id":"84a8bc82-1248-4ee2-a5ca-15d73cdc12be","year":2024},"citing_paper":{"arxiv_id":"2512.09629","last_updated":"2026-05-08T15:34:03Z","snapshot_observed_at":"2026-08-16T09:10:06.084844Z","submitted_at":"2025-12-10T13:17:08Z","title":"End-to-end PDDL Planning with Hardcoded and Dynamic Agents","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-05-16T23:34:20.411940Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2512.09629"},"observation_digest":"sha256:6e63723a9f628bae1060f06d960d8d130ad08df113bd5c59a26e0a3f2ee1aefc","observation_id":"927a4ba2-3813-4ebc-8abc-01c862e10dba","resolution":{"observed_at":"2026-05-16T23:38:41.637335Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-02T22:26:36.552118Z","title":"Llms can't plan, but can help planning in llm-modulo frameworks","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2602.16902","last_updated":"2026-05-30T16:45:37Z","snapshot_observed_at":"2026-08-14T15:40:32.791963Z","submitted_at":"2026-02-18T21:33:59Z","title":"LLM-WikiRace Benchmark: How Far Can LLMs Plan over Real-World Knowledge Graphs?","version":4},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-02T22:26:36.552118Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2602.16902"},"observation_digest":"sha256:572c1860863192010fd8818228891d58565097c806d301236f1bed38a0137c86","observation_id":"2ab0e495-6dde-4e95-814c-9b82ec971f1e","resolution":{"observed_at":"2026-08-02T22:26:36.552118Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":"2402.01817","doi":"10.48550/arxiv.2402.01817","metadata_source":"pith","pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Llms can’t plan, but can help planning in llm-modulo frameworks","venue":"cs.AI","work_id":"84a8bc82-1248-4ee2-a5ca-15d73cdc12be","year":2024},"citing_paper":{"arxiv_id":"2604.09338","last_updated":"2026-04-10T14:05:50Z","snapshot_observed_at":"2026-08-14T02:14:17.132085Z","submitted_at":"2026-04-10T14:05:50Z","title":"Mind the Gap Between Spatial Reasoning and Acting! Step-by-Step Evaluation of Agents With Spatial-Gym","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-10T18:26:36.520478Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2604.09338"},"observation_digest":"sha256:73882ee964c8d4ab40e13ae57d0af295ad22f5b354fe349ade317a6c74de9a9d","observation_id":"96d0e916-d764-4587-863a-0b67591a5430","resolution":{"observed_at":"2026-05-11T00:35:50.706338Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":"2402.01817","doi":"10.48550/arxiv.2402.01817","metadata_source":"pith","pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Llms can’t plan, but can help planning in llm-modulo frameworks","venue":"cs.AI","work_id":"84a8bc82-1248-4ee2-a5ca-15d73cdc12be","year":2024},"citing_paper":{"arxiv_id":"2604.20795","last_updated":"2026-04-22T17:19:43Z","snapshot_observed_at":"2026-08-02T22:00:10.984522Z","submitted_at":"2026-04-22T17:19:43Z","title":"Automatic Ontology Construction Using LLMs as an External Layer of Memory, Verification, and Planning for Hybrid Intelligent Systems","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-09T23:38:04.276214Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2604.20795"},"observation_digest":"sha256:96b6cdb0acebd57f9ede9526186a7ecfe93bdb1a868042abc1697b6a72586a6a","observation_id":"e1c8e1f5-a274-47c3-939f-75dfa5518e41","resolution":{"observed_at":"2026-05-11T14:06:02.955898Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":"2402.01817","doi":"10.48550/arxiv.2402.01817","metadata_source":"pith","pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Llms can’t plan, but can help planning in llm-modulo frameworks","venue":"cs.AI","work_id":"84a8bc82-1248-4ee2-a5ca-15d73cdc12be","year":2024},"citing_paper":{"arxiv_id":"2604.27699","last_updated":"2026-04-30T10:43:55Z","snapshot_observed_at":"2026-08-10T22:01:12.810595Z","submitted_at":"2026-04-30T10:43:55Z","title":"Bridging Values and Behavior: A Hierarchical Framework for Proactive Embodied Agents","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-07T07:46:25.550238Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2604.27699"},"observation_digest":"sha256:b609b32cbbb1d54d138cb90b6b2148b6d48ad18ec5ebbb37da9d388d423e041a","observation_id":"165080df-86f9-4d48-9fde-f42acb62ed36","resolution":{"observed_at":"2026-05-12T10:06:29.549803Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":"2402.01817","doi":"10.48550/arxiv.2402.01817","metadata_source":"pith","pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Llms can’t plan, but can help planning in llm-modulo frameworks","venue":"cs.AI","work_id":"84a8bc82-1248-4ee2-a5ca-15d73cdc12be","year":2024},"citing_paper":{"arxiv_id":"2605.02765","last_updated":"2026-05-04T16:05:40Z","snapshot_observed_at":"2026-08-11T06:25:49.723578Z","submitted_at":"2026-05-04T16:05:40Z","title":"U-Define: Designing User Workflows for Hard and Soft Constraints in LLM-Based Planning","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-05-08T18:19:55.849451Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2605.02765"},"observation_digest":"sha256:84fe48b779062c5177049fca2d18839602e8555f83f53b08d8fa40a88d4dbc09","observation_id":"20c3c97a-8f5f-407a-8d6c-428d9bd52bd5","resolution":{"observed_at":"2026-05-09T06:35:38.950948Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":"2402.01817","doi":"10.48550/arxiv.2402.01817","metadata_source":"pith","pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Llms can’t plan, but can help planning in llm-modulo frameworks","venue":"cs.AI","work_id":"84a8bc82-1248-4ee2-a5ca-15d73cdc12be","year":2024},"citing_paper":{"arxiv_id":"2605.03255","last_updated":"2026-05-05T01:06:20Z","snapshot_observed_at":"2026-08-11T07:45:37.220385Z","submitted_at":"2026-05-05T01:06:20Z","title":"Do LLMs have core beliefs?","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-05-07T17:56:41.545115Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2605.03255"},"observation_digest":"sha256:37688f03f00212eb9768acd7efcc5fe26ac0ed6ff8fb42e913ba185d44861445","observation_id":"46250740-13a2-4bb8-846d-0ae59cd8b411","resolution":{"observed_at":"2026-05-11T23:11:18.670232Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":"2402.01817","doi":"10.48550/arxiv.2402.01817","metadata_source":"pith","pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Llms can’t plan, but can help planning in llm-modulo frameworks","venue":"cs.AI","work_id":"84a8bc82-1248-4ee2-a5ca-15d73cdc12be","year":2024},"citing_paper":{"arxiv_id":"2605.06040","last_updated":"2026-05-07T11:28:53Z","snapshot_observed_at":"2026-08-11T16:00:51.947838Z","submitted_at":"2026-05-07T11:28:53Z","title":"Novelty-based Tree-of-Thought Search for LLM Reasoning and Planning","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-05-08T10:41:59.816073Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2605.06040"},"observation_digest":"sha256:418dc33a4696b3ad56740f94a2c0415fc8b524c4c3e2cde99961d094c4944bab","observation_id":"b3cf8695-a7a1-4830-b41e-6cea66838f70","resolution":{"observed_at":"2026-05-11T19:56:08.641923Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":"2402.01817","doi":"10.48550/arxiv.2402.01817","metadata_source":"pith","pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Llms can’t plan, but can help planning in llm-modulo frameworks","venue":"cs.AI","work_id":"84a8bc82-1248-4ee2-a5ca-15d73cdc12be","year":2024},"citing_paper":{"arxiv_id":"2605.15333","last_updated":"2026-05-14T18:56:06Z","snapshot_observed_at":"2026-08-16T07:34:44.842584Z","submitted_at":"2026-05-14T18:56:06Z","title":"Zero-Shot Goal Recognition with Large Language Models","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-19T16:09:12.822056Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2605.15333"},"observation_digest":"sha256:6e092ebcb8316ad96610b554fd0b71c345bf1b443310d5c35b16e85ba3f31c0a","observation_id":"89923905-0454-4f24-ab81-4ad0940f12d5","resolution":{"observed_at":"2026-05-19T16:12:39.247055Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":"2402.01817","doi":"10.48550/arxiv.2402.01817","metadata_source":"pith","pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Llms can’t plan, but can help planning in llm-modulo frameworks","venue":"cs.AI","work_id":"84a8bc82-1248-4ee2-a5ca-15d73cdc12be","year":2024},"citing_paper":{"arxiv_id":"2606.04421","last_updated":"2026-08-04T22:03:51Z","snapshot_observed_at":"2026-08-15T16:52:22.574267Z","submitted_at":"2026-06-03T04:06:20Z","title":"Trivium: Temporal Regret as a First-Class Objective for Causal-Memory Controllers","version":2},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-06-28T06:36:29.222547Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2606.04421"},"observation_digest":"sha256:148ece0a8b991b730663e279b013ee59d970ca1d0c0c90e5a8b631cc693588f0","observation_id":"42a9a278-944b-43fa-b9e3-eb6fc006caca","resolution":{"observed_at":"2026-07-02T07:56:46.959094Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":"2402.01817","doi":"10.48550/arxiv.2402.01817","metadata_source":"pith","pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Llms can’t plan, but can help planning in llm-modulo frameworks","venue":"cs.AI","work_id":"84a8bc82-1248-4ee2-a5ca-15d73cdc12be","year":2024},"citing_paper":{"arxiv_id":"2606.05250","last_updated":"2026-06-03T12:56:11Z","snapshot_observed_at":"2026-08-14T04:55:08.035683Z","submitted_at":"2026-06-03T12:56:11Z","title":"Towards Persistent Case-Based Memory for Autonomous Data Science: A CBR-Augmented R&D-Agent with a Locally Deployable Small Language Model","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-06-28T05:19:14.975753Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2606.05250"},"observation_digest":"sha256:ce0e601d79808da5bb895c0380109e261fc4a7b0ee5271ebaf740e8f694bf8e8","observation_id":"44b996fd-7a41-47ac-bb9c-f2d8da540164","resolution":{"observed_at":"2026-07-02T10:06:51.732432Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":"2402.01817","doi":"10.48550/arxiv.2402.01817","metadata_source":"pith","pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Llms can’t plan, but can help planning in llm-modulo frameworks","venue":"cs.AI","work_id":"84a8bc82-1248-4ee2-a5ca-15d73cdc12be","year":2024},"citing_paper":{"arxiv_id":"2606.21740","last_updated":"2026-06-19T20:53:10Z","snapshot_observed_at":"2026-08-01T23:24:43.869329Z","submitted_at":"2026-06-19T20:53:10Z","title":"Training the Orchestrator: A Supervised Approach to End-to-End PDDL Planning with LLM Agents","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-06-26T13:56:51.914966Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2606.21740"},"observation_digest":"sha256:c3fa4a68c4e5c8af84f939c1df789e4f7f994d9e616e19dfeb55028006b394d0","observation_id":"8d1ae17b-4864-4dd4-a691-3de395dd27a2","resolution":{"observed_at":"2026-07-04T06:59:38.163997Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":"2402.01817","doi":"10.48550/arxiv.2402.01817","metadata_source":"pith","pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Llms can’t plan, but can help planning in llm-modulo frameworks","venue":"cs.AI","work_id":"84a8bc82-1248-4ee2-a5ca-15d73cdc12be","year":2024},"citing_paper":{"arxiv_id":"2606.26649","last_updated":"2026-06-25T06:23:15Z","snapshot_observed_at":"2026-08-08T17:14:00.301172Z","submitted_at":"2026-06-25T06:23:15Z","title":"Autoformalization of Agent Instructions into Policy-as-Code","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-06-26T05:06:05.369793Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2606.26649"},"observation_digest":"sha256:3089219ad43fd26d2d0b017b5393ed86e15815e98476f2367d4437e8e6f474c3","observation_id":"8e711dcb-0dc2-413b-9afa-726547534b7b","resolution":{"observed_at":"2026-07-04T13:39:50.299118Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-07-12T11:37:35.542449Z","title":"Thomas N","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2606.27806","last_updated":"2026-07-05T07:44:24Z","snapshot_observed_at":"2026-08-07T08:14:46.019506Z","submitted_at":"2026-06-26T07:45:15Z","title":"Agent vs. Parametric World Models: Hybrid Planning for Reliable Language Agents","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-12T11:37:35.542449Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2606.27806"},"observation_digest":"sha256:2558df6e6e4a56db022a313b41f83a6826cbd4d4809e3874cf18d7745c34d0c5","observation_id":"be02bebd-2eca-4acb-8b7a-4b04c96e3b1b","resolution":{"observed_at":"2026-07-12T11:37:35.542449Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":"2402.01817","doi":"10.48550/arxiv.2402.01817","metadata_source":"pith","pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Llms can’t plan, but can help planning in llm-modulo frameworks","venue":"cs.AI","work_id":"84a8bc82-1248-4ee2-a5ca-15d73cdc12be","year":2024},"citing_paper":{"arxiv_id":"2607.07492","last_updated":"2026-07-08T14:53:55Z","snapshot_observed_at":"2026-08-16T07:40:00.537585Z","submitted_at":"2026-07-08T14:53:55Z","title":"Search, Fail, Recover: A Training Framework for Correction-Aware Reasoning","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-07-09T09:20:08.212837Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2607.07492"},"observation_digest":"sha256:83bd474ae7eecdb304e3961b650eec2cdb2564363c85b75b45a33a398e35f36b","observation_id":"5f69c0ca-ffff-49a8-bb4b-8aa467a6eecb","resolution":{"observed_at":"2026-07-09T09:26:08.762874Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T10:48:43.666822+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-08-01T03:48:25.157404Z","title":"Position: LLMs can’t plan, but can help planning in LLM-Modulo frameworks.arXiv preprint arXiv:2402.01817,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.23055","last_updated":"2026-07-25T05:46:17Z","snapshot_observed_at":"2026-08-17T16:10:15.154241Z","submitted_at":"2026-07-25T05:46:17Z","title":"SymStep: Symbolic Step Verification for Logical Reasoning","version":1},"reference_index":2001,"source":"pdf_text","source_observed_at":"2026-08-01T03:48:25.157404Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2607.23055"},"observation_digest":"sha256:c95c1df19d0339b865efa83acce99386b03a578545097be26cfa10649e8ee6c2","observation_id":"569b99ad-79d5-4f45-b268-bc779a71ca7f","resolution":{"observed_at":"2026-08-01T03:48:25.157404Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-07-30T23:41:20.205703Z","title":"Takeshi Kojima, Shixiang Shane Gu, Machel Reid, Yutaka Matsuo, and Yusuke Iwasawa","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.23386","last_updated":"2026-07-25T22:40:02Z","snapshot_observed_at":"2026-08-13T22:17:32.684768Z","submitted_at":"2026-07-25T22:40:02Z","title":"Confidently Wrong: Exception Chain Collapse in Frontier LLM Rule Evaluation","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-07-30T23:41:20.205703Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2607.23386"},"observation_digest":"sha256:4d4bbbaa082c09ae24dbc1c93bc3a559ae974597bd1e3cec878bad5a8bbbc472","observation_id":"c67c4d6c-9f67-4f5e-b82e-422c8d561fbf","resolution":{"observed_at":"2026-07-30T23:41:20.205703Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.01817","snapshot_observed_at":"2026-07-30T15:14:05.548347Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.26977","last_updated":"2026-08-10T02:07:10Z","snapshot_observed_at":"2026-08-13T23:29:21.404865Z","submitted_at":"2026-07-29T14:35:29Z","title":"TREK: A Travel Reasoning and Evaluation Kit for LLM Agents in Complex Trip Planning","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-30T15:14:05.548347Z"},"links":{"cited_paper":"/paper/2402.01817","citing_paper":"/paper/2607.26977"},"observation_digest":"sha256:df6eda55cfbee09f6bd7a6f97faede87049f10dee8451d73cd1e348232c0b11c","observation_id":"7ccee108-c359-4554-8e37-9ef681edad41","resolution":{"observed_at":"2026-07-30T15:14:05.548347Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2402.01817/citation-record","integrity":"/paper/2402.01817/integrity","json":"/paper/2402.01817/citation-record.json","paper":"/paper/2402.01817"},"outbound":[],"paper":{"arxiv_id":"2402.01817","last_updated":"2024-06-12T01:13:11Z","latest_version":3,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-16T14:22:07.383531Z","submitted_at":"2024-02-02T14:43:18Z","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 46 inbound Pith citation observations for arXiv:2402.01817."}