Paper Citation Record · LEDGER

NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models

As of 20 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 7 inbound Pith citation observations for arXiv:2305.07766.

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

pith.paper-citation-record.v1
2305.07766 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 7 of 7 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00

measured 7 of 7 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-15T21:44:52.874165Z

measured 1 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

3
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation f28f694d-9236-45dc-808b-e88d50666dfa · inbound

Air-Ground Collaboration for Language-Specified Missions in Unknown Environments cites this paper.

Air-Ground Collaboration for Language-Specified Missions in Unknown Environments NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-15T21:44:52.874165Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

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

Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots cites this paper.

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 55d4b9e9-4e3f-46e4-b373-c012799c416a · 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 NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models

Reference 14

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4b172e1-119b-42f3-a9a3-7faee2fde3b4 · inbound

Runtime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal Logic cites this paper.

Runtime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal Logic NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models

Reference 93

Resolution: verified exact; arxiv_id, observed 2026-05-14T21:37:59.692132Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a5045c79-f3c6-4272-82f4-dd30f1312619 · inbound

Runtime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal Logic cites this paper.

Runtime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal Logic NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models

Reference 93

Resolution: verified exact; arxiv_id, observed 2026-05-15T05:05:01.531738Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 0473b708-462b-4a4d-8681-96dfdc646c80 · inbound

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic cites this paper.

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-05-25T06:15:23.803610Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation be4a8da5-707b-4320-9771-cb270e61ee74 · inbound

Weights or Skills? A Survey of Robot-Learning Techniques: from Action-Predicting Weights to Robots that Write their Own Skills cites this paper.

Weights or Skills? A Survey of Robot-Learning Techniques: from Action-Predicting Weights to Robots that Write their Own Skills NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-04T19:45:28.206259Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.