Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-22T14:24:32.031008Z
Paper Citation Record · LEDGER
Iterative Formalization and Planning in Partially Observable Environments
As of 5 August 2026, this Paper Citation Record lists 49 of 49 outbound references and 1 inbound Pith citation observation for arXiv:2505.13126.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-05T06:32:48.257954+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-05-16T08:07:48.508022Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-05-16T08:10:45.557324Z
Reference resolution
49 of 49 outbound references displayed
- verified exact4
- verified fuzzy25
- unresolved17
- parse uncertain0
- malformed identifier2
- metadata mismatch1
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 79dbf86f-a8f4-4d89-94f1-74e96fe3cb4b · outbound
This paper cites Embodied Agent Interface: Benchmarking LLMs for Embodied Decision Making.
Iterative Formalization and Planning in Partially Observable Environments Embodied Agent Interface: Benchmarking LLMs for Embodied Decision Making
Reference 1
- Resolution
- verified exact
- arxiv_id, observed 2026-05-22T14:24:53.543917Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e74ba89e-76fb-4443-8ab4-320f2c0ea8e0 · outbound
This paper cites LLM+P: Empowering Large Language Models with Optimal Planning Proficiency.
Iterative Formalization and Planning in Partially Observable Environments LLM+P: Empowering Large Language Models with Optimal Planning Proficiency
Reference 2
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-05-22T14:24:53.549720Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 13ad79a4-d35d-4601-a1f0-fe5bb1eddd8e · outbound
This paper cites CLIN: A Continually Learning Language Agent for Rapid Task Adaptation and Generalization.
Iterative Formalization and Planning in Partially Observable Environments CLIN: A Continually Learning Language Agent for Rapid Task Adaptation and Generalization
Reference 3
- Resolution
- verified exact
- arxiv_id, observed 2026-05-22T14:24:53.529563Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation bbe5e58f-4294-4fbe-90ae-1d740f82901c · outbound
This paper cites PlanGEN: A Multi-Agent Framework for Generating Planning and Reasoning Trajectories for Complex Problem Solving.
Iterative Formalization and Planning in Partially Observable Environments PlanGEN: A Multi-Agent Framework for Generating Planning and Reasoning Trajectories for Complex Problem Solving
Reference 4
- Resolution
- verified exact
- arxiv_id, observed 2026-05-22T14:24:53.537301Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation a5d2028f-f30b-4135-a175-75ec4350fb07 · outbound
This paper cites Karthik Valmeekam, Sarath Sreedharan, Matthew Mar- quez, Alberto Olmo, and Subbarao Kambhampati.
Iterative Formalization and Planning in Partially Observable Environments Karthik Valmeekam, Sarath Sreedharan, Matthew Mar- quez, Alberto Olmo, and Subbarao Kambhampati
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T14:24:53.706836Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation f9cde2d5-c12e-463a-a604-cfcf3e8c3bbc · outbound
This paper cites On the Planning Abilities of Large Language Models (A Critical Investigation with a Proposed Benchmark).
Iterative Formalization and Planning in Partially Observable Environments On the Planning Abilities of Large Language Models (A Critical Investigation with a Proposed Benchmark)
Reference 6
- Resolution
- verified exact
- arxiv_id, observed 2026-05-22T14:24:53.557439Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 3875c7b8-0668-43dd-9b39-5c3620e68bf0 · outbound
This paper cites You are in the backyard.
Iterative Formalization and Planning in Partially Observable Environments You are in the backyard
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T14:24:53.617257Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation ed3a2e9b-38d9-480e-96b0-318e55fc5225 · outbound
This paper cites No door to open.
Iterative Formalization and Planning in Partially Observable Environments No door to open
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T14:24:53.721617Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 993de30b-4cbc-4b52-9ed3-b6fb6425a897 · outbound
This paper cites (Error fixed!) Observation 3 You are in the driveway.
Iterative Formalization and Planning in Partially Observable Environments (Error fixed!) Observation 3 You are in the driveway
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T14:24:53.688427Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 08149795-792c-4527-9ffb-e23a3f8123cf · outbound
This paper cites Three planning frameworks per LLM; dashes mark metrics that are not defined for that framework.
Iterative Formalization and Planning in Partially Observable Environments Three planning frameworks per LLM; dashes mark metrics that are not defined for that framework
Reference 10
- Resolution
- malformed identifier
- raw_fallback, observed 2026-05-22T14:24:53.748453Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation ed66387a-9d60-486d-adec-d1b243003fbf · outbound
This paper cites I’m not sure what you mean.
Iterative Formalization and Planning in Partially Observable Environments I’m not sure what you mean
Reference 11
- Resolution
- malformed identifier
- raw_fallback, observed 2026-05-22T14:24:53.696337Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 9bad32a7-0697-4d20-b1c6-ba5f7eb1c9fb · outbound
This paper cites df": ".
Iterative Formalization and Planning in Partially Observable Environments df": "
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T14:24:53.674872Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e2d58f29-424a-489d-b3b1-1d8da54ccc63 · outbound
This paper cites df": ".
Iterative Formalization and Planning in Partially Observable Environments df": "
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T14:24:53.689238Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 3399dccd-a845-4dce-b6d1-6e4d185f899a · outbound
This paper cites df": ".
Iterative Formalization and Planning in Partially Observable Environments df": "
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T14:24:53.738674Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 7bcdf0c6-38ce-4175-b4bc-324e7961babe · outbound
This paper cites an unresolved cited work.
Iterative Formalization and Planning in Partially Observable Environments Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-05-22T14:24:53.652281Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation dae034e6-9ab7-49a0-bbc0-606dc5eeb529 · outbound
This paper cites No additional memory available.
Iterative Formalization and Planning in Partially Observable Environments No additional memory available
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T14:24:53.642571Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation c8c069c5-77cb-42f0-ae38-78e127c50cbf · outbound
This paper cites For example, if you need to slice and then heat an object, first focus on slicing it, and then move on to heating it.
Iterative Formalization and Planning in Partially Observable Environments For example, if you need to slice and then heat an object, first focus on slicing it, and then move on to heating it
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T14:24:53.616608Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation fa3ab865-00c7-4219-b336-106af846848e · outbound
This paper cites df": ".
Iterative Formalization and Planning in Partially Observable Environments df": "
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T14:24:53.641967Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 6ed08174-ab7a-409f-b508-793b9ef52ec1 · outbound
This paper cites an unresolved cited work.
Iterative Formalization and Planning in Partially Observable Environments Unresolved cited work
Reference 46
- Resolution
- unresolved
- raw_fallback, observed 2026-05-22T14:24:53.744628Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 08cfefa4-e66f-4b52-a3f9-9f1b0162af42 · outbound
This paper cites The process involves two main stages.
Iterative Formalization and Planning in Partially Observable Environments The process involves two main stages
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T14:24:53.724671Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation a25e0196-badd-46cd-add3-aa8ba5c2c7e3 · outbound
This paper cites Some receptacles cannot be opened so you can directly see what objects after you go to that receptacle.
Iterative Formalization and Planning in Partially Observable Environments Some receptacles cannot be opened so you can directly see what objects after you go to that receptacle
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T14:24:53.718307Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 9c3198c7-36d8-4503-a6b9-68529fbc2ddd · outbound
This paper cites Remember your goal is Your task is to: put some cloth on bathtubbasin.
Iterative Formalization and Planning in Partially Observable Environments Remember your goal is Your task is to: put some cloth on bathtubbasin
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T14:24:53.735713Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation b33b4f9e-2627-460b-96b6-960540a03063 · outbound
This paper cites For example, go to fridge, then cool the object with receptacle.
Iterative Formalization and Planning in Partially Observable Environments For example, go to fridge, then cool the object with receptacle
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T14:24:53.741733Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 3d445a03-2bf6-4396-a965-4225963fc3ea · outbound
This paper cites Don't forget to put the sharp object back to the receptacle after you finish slicing.
Iterative Formalization and Planning in Partially Observable Environments Don't forget to put the sharp object back to the receptacle after you finish slicing
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T14:24:53.669516Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 8da071cc-8824-459c-8a88-bb299259dc17 · outbound
This paper cites You don't need to take the lamp but directly use it.
Iterative Formalization and Planning in Partially Observable Environments You don't need to take the lamp but directly use it
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T14:24:53.681248Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 85804054-b178-48da-822b-bd5d31e80877 · outbound
This paper cites For example, if you need to slice and then heat an object, first focus on slicing it, and then move on to heating it.
Iterative Formalization and Planning in Partially Observable Environments For example, if you need to slice and then heat an object, first focus on slicing it, and then move on to heating it
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T14:24:53.728929Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation c1be9b6d-b39e-4b9e-bb1c-879299cee807 · outbound
This paper cites df": ".
Iterative Formalization and Planning in Partially Observable Environments df": "
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T14:24:53.648681Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation de46f20d-4e3d-4a01-940d-a700c91bb1a1 · outbound
This paper cites an unresolved cited work.
Iterative Formalization and Planning in Partially Observable Environments Unresolved cited work
Reference 61
- Resolution
- unresolved
- raw_fallback, observed 2026-05-22T14:24:53.710029Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 38e9f636-8e89-4874-9856-5aa8471165f0 · outbound
This paper cites an unresolved cited work.
Iterative Formalization and Planning in Partially Observable Environments Unresolved cited work
Reference 62
- Resolution
- unresolved
- raw_fallback, observed 2026-05-22T14:24:53.668654Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 04a0f195-caad-4edf-a803-04d8ebad0a8f · outbound
This paper cites an unresolved cited work.
Iterative Formalization and Planning in Partially Observable Environments Unresolved cited work
Reference 63
- Resolution
- unresolved
- raw_fallback, observed 2026-05-22T14:24:53.659333Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation afccc048-83e4-4db0-b1c5-f0b7e75a48be · outbound
This paper cites an unresolved cited work.
Iterative Formalization and Planning in Partially Observable Environments Unresolved cited work
Reference 65
- Resolution
- unresolved
- raw_fallback, observed 2026-05-22T14:24:53.652008Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation b92c3286-5f25-4286-a895-a0f77c18cd38 · outbound
This paper cites Goal 1.2: If the receptacle is closed, use the OpenObject action to reveal its contents.
Iterative Formalization and Planning in Partially Observable Environments Goal 1.2: If the receptacle is closed, use the OpenObject action to reveal its contents
Reference 67
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T14:24:53.634619Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 85076908-aa3b-4087-a4a1-acf91149f6ab · outbound
This paper cites df": ".
Iterative Formalization and Planning in Partially Observable Environments df": "
Reference 70
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T14:24:53.662903Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation d5f1c99c-ab4b-45d0-b655-b82db65829b1 · outbound
This paper cites an unresolved cited work.
Iterative Formalization and Planning in Partially Observable Environments Unresolved cited work
Reference 71
- Resolution
- unresolved
- raw_fallback, observed 2026-05-22T14:24:53.645031Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation a69ead9e-5b2f-4e1d-a8c7-46b6ba4415e5 · outbound
This paper cites an unresolved cited work.
Iterative Formalization and Planning in Partially Observable Environments Unresolved cited work
Reference 72
- Resolution
- unresolved
- raw_fallback, observed 2026-05-22T14:24:53.713275Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation fc97de24-d8c3-4049-8d84-299698bfae1b · outbound
This paper cites an unresolved cited work.
Iterative Formalization and Planning in Partially Observable Environments Unresolved cited work
Reference 73
- Resolution
- unresolved
- raw_fallback, observed 2026-05-22T14:24:53.703287Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation eb33de42-f5d0-4454-bb0f-e4e215fb320e · outbound
This paper cites an unresolved cited work.
Iterative Formalization and Planning in Partially Observable Environments Unresolved cited work
Reference 74
- Resolution
- unresolved
- raw_fallback, observed 2026-05-22T14:24:53.685292Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation a6337159-d3ae-4c7a-a583-e3773fd5f1c5 · outbound
This paper cites an unresolved cited work.
Iterative Formalization and Planning in Partially Observable Environments Unresolved cited work
Reference 75
- Resolution
- unresolved
- raw_fallback, observed 2026-05-22T14:24:53.627949Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 77f09a0a-b0ec-4cd7-abdb-22a7b3a58fbf · outbound
This paper cites an unresolved cited work.
Iterative Formalization and Planning in Partially Observable Environments Unresolved cited work
Reference 76
- Resolution
- unresolved
- raw_fallback, observed 2026-05-22T14:24:53.662578Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 15437590-5cf4-4411-b374-cde2bbdc6d09 · outbound
This paper cites an unresolved cited work.
Iterative Formalization and Planning in Partially Observable Environments Unresolved cited work
Reference 77
- Resolution
- unresolved
- raw_fallback, observed 2026-05-22T14:24:53.692730Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 5cfd86f0-b7e9-4f8e-9c48-c4532508ad3c · outbound
This paper cites an unresolved cited work.
Iterative Formalization and Planning in Partially Observable Environments Unresolved cited work
Reference 78
- Resolution
- unresolved
- raw_fallback, observed 2026-05-22T14:24:53.679237Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 7786d52d-9260-46e9-bcc2-6c5455c3017b · outbound
This paper cites an unresolved cited work.
Iterative Formalization and Planning in Partially Observable Environments Unresolved cited work
Reference 79
- Resolution
- unresolved
- raw_fallback, observed 2026-05-22T14:24:53.623614Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation e73cf353-e430-4065-a6b1-7115c36a0b38 · outbound
This paper cites Goal 1.2: If the receptacle is closed, use the OpenObject action to reveal its contents.
Iterative Formalization and Planning in Partially Observable Environments Goal 1.2: If the receptacle is closed, use the OpenObject action to reveal its contents
Reference 80
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T14:24:53.672658Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation d4fcaad1-5c0e-43ae-8502-4e75e103b7ba · outbound
This paper cites an unresolved cited work.
Iterative Formalization and Planning in Partially Observable Environments Unresolved cited work
Reference 83
- Resolution
- unresolved
- raw_fallback, observed 2026-05-22T14:24:53.638040Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 6ae4e71f-ee5e-48ad-8082-d486e7dbe7de · outbound
This paper cites Some receptacles cannot be opened so you can directly see what objects after you go to that receptacle.
Iterative Formalization and Planning in Partially Observable Environments Some receptacles cannot be opened so you can directly see what objects after you go to that receptacle
Reference 84
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T14:24:53.675627Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 4c1db863-a6e3-4ee6-a1bf-5be4c253c4d0 · outbound
This paper cites This may involve more than simply transferring it from one place to another.
Iterative Formalization and Planning in Partially Observable Environments This may involve more than simply transferring it from one place to another
Reference 85
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T14:24:53.732446Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 952e921b-cdae-48a0-81c0-ae51586dc1c5 · outbound
This paper cites towelholder1.
Iterative Formalization and Planning in Partially Observable Environments towelholder1
Reference 86
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T14:24:53.699986Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 1a68da63-5198-45f2-8871-d36980356762 · outbound
This paper cites an unresolved cited work.
Iterative Formalization and Planning in Partially Observable Environments Unresolved cited work
Reference 87
- Resolution
- unresolved
- raw_fallback, observed 2026-05-22T14:24:53.666266Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Observation 5b8a1e7f-5135-4038-8c7b-260883af4c39 · outbound
This paper cites actions": [.
Iterative Formalization and Planning in Partially Observable Environments actions": [
Reference 88
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-22T14:24:53.630901Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.
Pith citing papers
Observation 32370453-06a2-4e2f-9cac-78d4601d3498 · inbound
KGLAMP: Knowledge Graph-guided Language model for Adaptive Multi-robot Planning and Replanning cites this paper.
KGLAMP: Knowledge Graph-guided Language model for Adaptive Multi-robot Planning and Replanning Iterative Formalization and Planning in Partially Observable Environments
Reference 11
- Resolution
- verified exact
- local_arxiv, observed 2026-05-16T08:10:45.559002Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.