Paper Citation Record · LEDGER

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models

As of 8 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:2607.18580.

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

pith.paper-citation-record.v1
2607.18580 v1

Coverage vector

measured 35 of 35 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T15:03:14.710041Z

measured 35 of 35 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

35 of 35 outbound references displayed

verified exact1
verified fuzzy0
unresolved32
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation f05236e2-6e7f-497f-9a1e-ce00239784d0 · outbound

This paper cites GR00T N1: An Open Foundation Model for Generalist Humanoid Robots.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models GR00T N1: An Open Foundation Model for Generalist Humanoid Robots

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:11.310160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6f0ddf6-8350-48f5-981f-852396b55e43 · outbound

This paper cites an unresolved cited work.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:11.366792Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e4df725-45dd-4d12-ba47-d9f9f58c507c · outbound

This paper cites an unresolved cited work.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:11.408940Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ddb53cb4-3f0c-43ce-8944-b94c84ecf491 · outbound

This paper cites Maler and D.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models Maler and D

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:11.645129Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 885e0a95-a137-40c1-9c46-806f91ad9139 · outbound

This paper cites an unresolved cited work.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:11.727187Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6c115a6-17a9-41c2-b303-e03d2d98b927 · outbound

This paper cites Donz ´e and O.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models Donz ´e and O

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:11.834097Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation adbdc499-b6f4-45f2-a6c5-cb4b2d9e2e63 · outbound

This paper cites Sadraddini and C.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models Sadraddini and C

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:11.902071Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06eb53a9-2ef3-4e5e-80c9-6f736edaf938 · outbound

This paper cites OpenVLA: An Open-Source Vision-Language-Action Model.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models OpenVLA: An Open-Source Vision-Language-Action Model

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:11.982185Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 461253fd-b39a-4aa5-b62c-10f786c17354 · outbound

This paper cites Fine-Tuning Vision-Language-Action Models: Optimizing Speed and Success.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models Fine-Tuning Vision-Language-Action Models: Optimizing Speed and Success

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:12.094817Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee8f0a61-9898-414e-aa8d-ccd1648230ce · outbound

This paper cites Reinforcement Learning With Temporal Logic Rewards.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models Reinforcement Learning With Temporal Logic Rewards

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:12.171301Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13d00245-7b83-41f2-9bbf-f491c2ac7b97 · outbound

This paper cites PLANRL: A Motion Planning and Imitation Learning Framework to Bootstrap Reinforcement Learning.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models PLANRL: A Motion Planning and Imitation Learning Framework to Bootstrap Reinforcement Learning

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:12.264259Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1380a5d-e00c-40a3-b925-c67c9fa84b6d · outbound

This paper cites HYDRA: Hybrid Robot Actions for Imitation Learning.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models HYDRA: Hybrid Robot Actions for Imitation Learning

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:12.384180Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a3368697-d395-45b7-8656-516c054dcea5 · outbound

This paper cites an unresolved cited work.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:12.458000Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17739505-1cad-4f8e-aeaf-bb0af9e30ef5 · outbound

This paper cites ProgPrompt: Generating Situated Robot Task Plans using Large Language Models.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models ProgPrompt: Generating Situated Robot Task Plans using Large Language Models

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:12.642197Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ae5cf1e-22d9-419a-b707-562464bd150f · outbound

This paper cites Code as Policies: Language Model Programs for Embodied Control.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models Code as Policies: Language Model Programs for Embodied Control

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:12.690111Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d7c9225-aa43-4567-bc63-cc19a0771733 · outbound

This paper cites VoxPoser: Composable 3D Value Maps for Robotic Manipulation with Language Models.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models VoxPoser: Composable 3D Value Maps for Robotic Manipulation with Language Models

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:12.746298Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1d322be-58e1-4e52-8d64-dd7d5c04ed3d · outbound

This paper cites ReKep: Spatio-Temporal Reasoning of Relational Keypoint Constraints for Robotic Manipulation.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models ReKep: Spatio-Temporal Reasoning of Relational Keypoint Constraints for Robotic Manipulation

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:12.805968Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 889f92c9-086c-4c8b-a81e-e675cbb8e538 · outbound

This paper cites Singh, R.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models Singh, R

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:12.878289Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 15c38214-8b61-48fa-b7bb-223418edee39 · outbound

This paper cites Long-Horizon Manipulation via Trace-Conditioned VLA Planning.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models Long-Horizon Manipulation via Trace-Conditioned VLA Planning

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:12.951601Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 289d7b0f-2770-4acd-a546-c9fa1967d55e · outbound

This paper cites Kress-Gazit, G.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models Kress-Gazit, G

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:13.043036Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29d031bc-9e0e-408a-858e-e6b7c39c0d27 · outbound

This paper cites Kloetzer and C.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models Kloetzer and C

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:13.197103Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f79d482-f91a-4e87-8cd2-78bf4a7ce582 · outbound

This paper cites Kress-Gazit, T.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models Kress-Gazit, T

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:13.361871Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d39bb2f3-6d25-4f3e-a3dc-be08e7812706 · outbound

This paper cites Wells and E.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models Wells and E

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:13.508048Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a319e3e-59c4-4a52-b3f5-07c68a747a06 · outbound

This paper cites Raman, A.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models Raman, A

Reference 24

Resolution: malformed identifier; no resolver link, observed 2026-08-01T15:03:13.676924Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e213d8da-0542-44a8-abaf-536b1e34aece · outbound

This paper cites an unresolved cited work.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models Unresolved cited work

Reference 25

Resolution: malformed identifier; no resolver link, observed 2026-08-01T15:03:13.795227Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1bacfca1-0b52-4dae-a938-278c2a36dbd5 · outbound

This paper cites Kapoor, K.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models Kapoor, K

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:13.888354Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c1d6108-7ca7-4833-986e-57ba6351895b · outbound

This paper cites Backpropagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models Backpropagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:14.047521Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ad969d9-a916-4bd3-8ad2-45d629300e4c · outbound

This paper cites DeepSTL -- From English Requirements to Signal Temporal Logic.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models DeepSTL -- From English Requirements to Signal Temporal Logic

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:14.154055Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7486480a-2a70-434c-8056-30d25c0125b6 · outbound

This paper cites an unresolved cited work.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:14.245920Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d8db18d-6099-46f6-9aac-f1622f98623b · outbound

This paper cites Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:14.393164Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11056abc-296a-457b-8cc2-c513d0e4ec7e · outbound

This paper cites an unresolved cited work.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:14.518626Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f1b1abc-feda-4c32-bb6a-6c1252268461 · outbound

This paper cites Bartocci, J.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models Bartocci, J

Reference 32

Resolution: verified exact; doi, observed 2026-08-01T15:03:22.236544Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 93b0719a-b900-475e-a8c6-a04940a6e1b7 · outbound

This paper cites Do As I Can, Not As I Say: Grounding Language in Robotic Affordances.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models Do As I Can, Not As I Say: Grounding Language in Robotic Affordances

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:12.566593Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b47f653-f786-4400-b933-97937f772eae · outbound

This paper cites A Dual Process VLA: Efficient Robotic Manipulation Leveraging VLM.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models A Dual Process VLA: Efficient Robotic Manipulation Leveraging VLM

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:11.534813Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 962c64ca-ea26-4204-9539-bd106d5a4e2f · outbound

This paper cites doi:10.1109/lra.2025.3588389.

STeP: Signal Temporal Logic for Precise Specifications for Action Generation with Vision Language Models doi:10.1109/lra.2025.3588389

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-01T15:03:13.950854Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.