Paper Citation Record · LEDGER

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots

As of 9 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 1 inbound Pith citation observation for arXiv:2507.05118.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2507.05118 v1

Coverage vector

measured 32 of 32 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T19:37:21.444390Z

measured 33 of 33 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-12T05:01:38.118237Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-05-12T05:41:27.415150Z

Reference resolution

32 of 32 outbound references displayed

verified exact0
verified fuzzy21
unresolved11
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d6211c5c-ecff-47d5-aa44-7b2323ce1750 · outbound

This paper cites Mind the error! detection and localization of instruction errors in vision-and-language navigation,.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Mind the error! detection and localization of instruction errors in vision-and-language navigation,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:37:24.407415Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 3b82beb4-559f-4d70-8bb5-19e832861074 · outbound

This paper cites Grounding large language models in interactive environ- ments with online reinforcement learning,.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Grounding large language models in interactive environ- ments with online reinforcement learning,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:37:24.284258Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation e9037dd2-441e-4506-bfdd-b8b27cbb88b8 · outbound

This paper cites Pddl2. 1: An extension to pddl for expressing temporal planning domains,.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Pddl2. 1: An extension to pddl for expressing temporal planning domains,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:37:24.124110Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 34104c4a-5eb6-4625-ab9c-69d3e2af0b63 · outbound

This paper cites Correcting Robot Plans with Natural Language Feedback.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Correcting Robot Plans with Natural Language Feedback

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-06T19:37:19.478691Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9789ecc4-ab6b-4c62-b6bb-cfb233f080f8 · outbound

This paper cites Extended tree search for robot task and motion planning,.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Extended tree search for robot task and motion planning,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:37:23.946460Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c60d278d-a7fe-4456-9b9c-c48384c6664e · outbound

This paper cites Language models as zero-shot planners: Extracting actionable knowledge for embodied agents,.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Language models as zero-shot planners: Extracting actionable knowledge for embodied agents,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:37:23.801431Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 54a2f60a-b289-4e47-869a-994b74e3efba · outbound

This paper cites Application of pretrained large language models in embodied artificial intelligence,.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Application of pretrained large language models in embodied artificial intelligence,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:37:23.658026Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 9e289d02-8de7-4607-ae86-b41dfae5f008 · outbound

This paper cites Evaluation of pretrained large language models in embodied planning tasks,.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Evaluation of pretrained large language models in embodied planning tasks,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:37:23.558719Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c2bcbecc-d9b6-46b1-94b6-07a633486060 · outbound

This paper cites Grid: Scene-graph-based instruction-driven robotic task planning,.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Grid: Scene-graph-based instruction-driven robotic task planning,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:37:23.421857Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation badc39b8-575d-4ce7-8348-5c8b23f8565a · outbound

This paper cites Lookplangraph: Embodied instruction following method with VLM graph augmentation,.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Lookplangraph: Embodied instruction following method with VLM graph augmentation,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:37:23.287523Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation dbf52777-c65a-44b4-b99f-52f51664855c · outbound

This paper cites Can language models learn from explanations in context?.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Can language models learn from explanations in context?

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-06T19:37:19.927719Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 971b6ab1-aae6-499c-bad4-1c507147f127 · outbound

This paper cites Common sense plan verification with large language models,.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Common sense plan verification with large language models,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:37:23.174298Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f62255b0-0bf7-4bc2-9189-83d15b2827e2 · outbound

This paper cites Temporal-logic- based reactive mission and motion planning,.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Temporal-logic- based reactive mission and motion planning,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-06T19:37:20.065979Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f3f3e7a-2b20-43d4-b6a7-5b074faf543b · outbound

This paper cites Iterative temporal planning in uncertain environments with partial satisfaction guarantees,.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Iterative temporal planning in uncertain environments with partial satisfaction guarantees,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:37:23.067751Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 6dd5c44d-6b29-4939-b18a-477c738ce26b · outbound

This paper cites Distributed multi-robot co- ordination with time-scale temporal logic tasks,.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Distributed multi-robot co- ordination with time-scale temporal logic tasks,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:37:22.942687Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 3c27fb75-5a01-4db1-90a3-412412505bf0 · outbound

This paper cites Llm-planner: Few-shot grounded planning for embodied agents with large language models,.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Llm-planner: Few-shot grounded planning for embodied agents with large language models,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-06T19:37:20.274082Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 807e83d2-ab7f-404f-a0ef-d33d6b23cf3d · outbound

This paper cites ALFRED: A Benchmark for Interpreting Grounded Instructions for Everyday Tasks.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots ALFRED: A Benchmark for Interpreting Grounded Instructions for Everyday Tasks

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-06T19:37:20.363017Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2287d480-9545-4423-86f1-92ed8a7a85fb · outbound

This paper cites Virtualhome: Simulating household activities via programs,.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Virtualhome: Simulating household activities via programs,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:37:22.788287Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 7f41cf39-e033-40e0-9ddd-b0f3721919f8 · outbound

This paper cites From informal safety-critical requirements to property-driven formal validation,.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots From informal safety-critical requirements to property-driven formal validation,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:37:22.646330Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 6afeee18-1d87-4651-8847-7a0bb74b0f28 · outbound

This paper cites Val: Automatic plan validation, continuous effects and mixed initiative planning using pddl,.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Val: Automatic plan validation, continuous effects and mixed initiative planning using pddl,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:37:22.511688Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation ee1a5354-ac6c-4700-a473-840d19c3188d · outbound

This paper cites Guiding Long-Horizon Task and Motion Planning with Vision Language Models.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Guiding Long-Horizon Task and Motion Planning with Vision Language Models

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-06T19:37:20.657019Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6b4c4b3-0ffd-4298-adb1-c0bd95ba3d7e · outbound

This paper cites Grounding Classical Task Planners via Vision-Language Models.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Grounding Classical Task Planners via Vision-Language Models

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-06T19:37:20.711923Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation baec1d9c-c284-4048-89cd-199d4b867070 · outbound

This paper cites Text2motion: From natural language instructions to feasible plans,.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Text2motion: From natural language instructions to feasible plans,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-06T19:37:20.814142Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb254b26-8072-4784-bb1c-70475bf04209 · outbound

This paper cites LLatrieval: LLM-verified retrieval for verifiable generation,.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots LLatrieval: LLM-verified retrieval for verifiable generation,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:37:22.399501Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 6b20e1c9-7841-4f00-8940-faf064b1bbf3 · outbound

This paper cites Improving LLM Reasoning through Scaling Inference Computation with Collaborative Verification.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Improving LLM Reasoning through Scaling Inference Computation with Collaborative Verification

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-06T19:37:20.955065Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80c87ae8-7348-46e8-8c14-1cb9824f02a0 · outbound

This paper cites RePLan: Robotic Replanning with Perception and Language Models.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots RePLan: Robotic Replanning with Perception and Language Models

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-06T19:37:21.025198Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46e75c3a-97af-4efd-9477-773c6c358e41 · outbound

This paper cites The temporal logic of programs,.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots The temporal logic of programs,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:37:22.252786Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 1a443e45-a0d4-4d4e-8fa1-0993ac894400 · outbound

This paper cites The temporal logic of reactive and concur- rent systems,.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots The temporal logic of reactive and concur- rent systems,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:37:22.099859Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 88b90f5e-e680-4b5e-af83-7dc78087e21b · outbound

This paper cites Temporal logic motion planning for dynamic robots,.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Temporal logic motion planning for dynamic robots,

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-06T19:37:21.226056Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1df19a5c-5db6-4723-be96-51e0372bb5f8 · outbound

This paper cites Soter: A runtime assurance framework for programming safe robotics systems,.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Soter: A runtime assurance framework for programming safe robotics systems,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:37:21.957333Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation b9836fb0-7653-409d-8d78-a05bde82496c · outbound

This paper cites Generalizing to new domains by mapping natural language to lifted ltl,.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Generalizing to new domains by mapping natural language to lifted ltl,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:37:21.842850Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation bbbfd17c-e6dc-4314-820f-38dcdb0715a6 · outbound

This paper cites Grounding language to non- markovian tasks with no supervision of task specifications.

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots Grounding language to non- markovian tasks with no supervision of task specifications

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T19:37:21.684978Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Pith citing papers

Observation f7f8a5db-cfbf-4d1c-8c31-1f6b6769ecea · inbound

Shaping Schema via Language Representation as the Next Frontier for LLM Intelligence Expanding cites this paper.

Shaping Schema via Language Representation as the Next Frontier for LLM Intelligence Expanding VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots

Reference 94

Resolution: verified exact; arxiv_id, observed 2026-05-12T05:41:27.418114Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.