Paper Citation Record · LEDGER

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots

As of 15 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 4 inbound Pith citation observations for arXiv:2505.13376.

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

pith.paper-citation-record.v1
2505.13376 v1

Coverage vector

measured 29 of 29 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T20:19:23.833001Z

measured 33 of 33 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00

measured 4 of 4 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-06T15:59:20.964158Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-11T02:30:54.948344Z

Reference resolution

29 of 29 outbound references displayed

verified exact0
verified fuzzy19
unresolved10
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 7ed7d53b-2d73-4caf-aca0-57b2f6c7cef1 · outbound

This paper cites Real-Time Anomaly Detection and Reactive Planning with Large Language Models.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots Real-Time Anomaly Detection and Reactive Planning with Large Language Models

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-15T20:19:23.636126Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9733b58-7ac4-4451-843d-0f963d1995f0 · outbound

This paper cites Design of a multi-robot coordination system based on functional expressions using large language models,.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots Design of a multi-robot coordination system based on functional expressions using large language models,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:19:24.518690Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation e26dc50d-b836-4bdd-a410-403dcc83b9e2 · outbound

This paper cites Multi-agent plan reconfiguration under local ltl specifications,.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots Multi-agent plan reconfiguration under local ltl specifications,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-15T20:19:23.650203Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac179e28-0303-48b2-aad4-f1b9bf0781f0 · outbound

This paper cites Plug in the safety chip: Enforcing constraints for llm-driven robot agents,.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots Plug in the safety chip: Enforcing constraints for llm-driven robot agents,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:19:24.474508Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation e8345989-f0a0-483f-8fa8-e78f660f48ea · outbound

This paper cites Lang2ltl-2: Grounding spatiotemporal navigation commands using large language and vision-language models,.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots Lang2ltl-2: Grounding spatiotemporal navigation commands using large language and vision-language models,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:19:24.448833Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation d86fa6e9-1b44-4f82-ad79-63be1cd9e2d5 · outbound

This paper cites Multi-agent pathfind- ing: Definitions, variants, and benchmarks,.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots Multi-agent pathfind- ing: Definitions, variants, and benchmarks,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:19:24.420701Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation e44ba8ca-33dd-4efc-95f2-7e007056d688 · outbound

This paper cites Prompting is programming: A query language for large language models,.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots Prompting is programming: A query language for large language models,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:19:24.399630Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 2f5d8989-c296-4642-8d78-2c04ab132893 · outbound

This paper cites NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-15T20:19:23.682214Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2886f919-0de0-4ca2-a982-ff113ec3b853 · outbound

This paper cites Nl2ltl–a python package for con- verting natural language (nl) instructions to linear temporal logic (ltl) formulas,.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots Nl2ltl–a python package for con- verting natural language (nl) instructions to linear temporal logic (ltl) formulas,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:19:24.375845Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation a0ca0dd1-005b-4deb-a6d1-727e0c3c395e · outbound

This paper cites Cook2ltl: Translating cooking recipes to ltl formulae using large language models,.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots Cook2ltl: Translating cooking recipes to ltl formulae using large language models,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:19:24.354982Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 55541cb6-d310-4b61-b6fe-493e3a424503 · outbound

This paper cites Grammar prompting for domain-specific language generation with large language models,.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots Grammar prompting for domain-specific language generation with large language models,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:19:24.332120Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation c136a3e1-2d54-4864-bbef-0604e632e5ab · outbound

This paper cites an unresolved cited work.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-15T20:19:23.712193Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 61874046-6f1c-4d5e-9949-be10f545e4ce · outbound

This paper cites Learn- ing a natural-language to ltl executable semantic parser for grounded robotics,.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots Learn- ing a natural-language to ltl executable semantic parser for grounded robotics,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:19:24.288368Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 2c0a6db3-02b0-49fe-952e-972b0152867c · outbound

This paper cites From Spot 2.0 to Spot 2.10: What’s new?.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots From Spot 2.0 to Spot 2.10: What’s new?

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:19:24.265619Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation e6d0c008-d4f3-4c37-bb24-870faf18c207 · outbound

This paper cites Guiding LLMs The Right Way: Fast, Non-Invasive Constrained Generation.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots Guiding LLMs The Right Way: Fast, Non-Invasive Constrained Generation

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-15T20:19:23.733358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed732b0e-e417-49c8-80ad-e9347dc23c91 · outbound

This paper cites Design and control of warehouse order picking: A literature review,.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots Design and control of warehouse order picking: A literature review,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:19:24.241936Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation a5613ce4-3699-4641-bcda-20f7f278d992 · outbound

This paper cites Computers and intractability: A guide to the theory of np-completeness (michael r. garey and david s. johnson),.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots Computers and intractability: A guide to the theory of np-completeness (michael r. garey and david s. johnson),

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:19:24.221060Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 93d9db5b-d1e2-41d9-b93b-d87569dd3041 · outbound

This paper cites Formal methods for control synthesis: An optimization perspective,.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots Formal methods for control synthesis: An optimization perspective,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-15T20:19:23.758372Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df41252d-bb36-45dc-8c59-dfcf6f8165e3 · outbound

This paper cites Mixed-integer programming for signal temporal logic with fewer binary variables,.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots Mixed-integer programming for signal temporal logic with fewer binary variables,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-15T20:19:23.766497Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e78b3d50-251f-4836-adf3-2a0374fac2d7 · outbound

This paper cites Foundation Models to the Rescue: Deadlock Resolution in Connected Multi-Robot Systems.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots Foundation Models to the Rescue: Deadlock Resolution in Connected Multi-Robot Systems

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-15T20:19:23.772992Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 918c275b-d6f5-4ba3-9ccb-a305834ebe22 · outbound

This paper cites Probabilistically correct language-based multi-robot planning using conformal prediction,.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots Probabilistically correct language-based multi-robot planning using conformal prediction,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:19:24.170832Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 7236cb01-9518-4b9d-8a75-ed60b9f7bad2 · outbound

This paper cites Opti- mality and robustness in multi-robot path planning with temporal logic constraints,.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots Opti- mality and robustness in multi-robot path planning with temporal logic constraints,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:19:24.148919Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 4747b222-1188-40a5-aef3-c097b4906380 · outbound

This paper cites Reactive and human- in-the-loop planning and control of multi-robot systems under ltl specifications in dynamic environments,.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots Reactive and human- in-the-loop planning and control of multi-robot systems under ltl specifications in dynamic environments,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:19:24.129638Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 066cb294-48ef-4129-ad64-d7b6aea2d713 · outbound

This paper cites Ltl- d*: Incrementally optimal replanning for feasible and infeasible tasks in linear temporal logic specifications,.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots Ltl- d*: Incrementally optimal replanning for feasible and infeasible tasks in linear temporal logic specifications,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:19:24.107462Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 786609ab-59ad-4529-878e-243e12c06a10 · outbound

This paper cites an unresolved cited work.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:19:24.084333Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation fba204cc-6fb0-49d0-bc23-8a27a8da3c18 · outbound

This paper cites lift" or.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots lift" or

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:19:24.064545Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation b9b8180c-7b0e-4b5c-a1e2-d6eecb08c51e · outbound

This paper cites an unresolved cited work.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-15T20:19:24.040917Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 6d0a923c-5c60-4e2b-97af-6bcc987e2c58 · outbound

This paper cites - Move: The robot can navigate to the target location and transport the pallet.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots - Move: The robot can navigate to the target location and transport the pallet

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:19:24.019303Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation b5b074bd-7f2b-4005-9238-818a61d7475b · outbound

This paper cites Moving a single pallet is within standard operational parameters.

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots Moving a single pallet is within standard operational parameters

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T20:19:23.993191Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Pith citing papers

Observation 70e55a84-3494-412c-870a-395a8ef664e5 · inbound

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives cites this paper.

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-06T15:59:20.964158Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd8b472d-674c-4678-bf00-e1aa4e4a00e7 · inbound

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis cites this paper.

pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-04T00:33:27.643941Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a847459-268f-401d-8bde-c8eceb361837 · inbound

Melding LLM and temporal logic for reliable human-swarm collaboration in complex scenarios cites this paper.

Melding LLM and temporal logic for reliable human-swarm collaboration in complex scenarios Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots

Reference 22

Resolution: verified exact; arxiv_id, observed 2026-05-11T02:30:54.953578Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 98ae3e23-cfb6-454a-bb29-b327b01c5527 · inbound

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study cites this paper.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-05T00:46:59.022826Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.