Paper Citation Record · LEDGER

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models

As of 10 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 0 inbound Pith citation observations for arXiv:2606.04123.

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

pith.paper-citation-record.v1
2606.04123 v1

Coverage vector

measured 28 of 28 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-28T08:42:38.352002Z

measured 28 of 28 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+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

28 of 28 outbound references displayed

verified exact5
verified fuzzy0
unresolved23
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation dbaa3724-e8d7-4121-80ee-8e8aa75a379a · outbound

This paper cites Cambridge university press, 2004.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models Cambridge university press, 2004

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-28T08:42:38.352002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 075b45e1-aaf5-4dac-8e1b-9dbf17a4a729 · outbound

This paper cites Nl2tl: Transforming natural languages to temporal log- ics using large language models.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models Nl2tl: Transforming natural languages to temporal log- ics using large language models

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-28T08:42:38.352002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b5510af-1b12-4ab0-9b12-0ec024042a1d · outbound

This paper cites Chernick.Optimal Impulsive Control of Spacecraft Rel- ative Motion.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models Chernick.Optimal Impulsive Control of Spacecraft Rel- ative Motion

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-28T08:42:38.352002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a45a0150-ea12-485d-a9eb-b74b58903a7f · outbound

This paper cites D’Amico.Autonomous Formation Flying in Low Earth Orbit.PhD Thesis, Delft University, 2010.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models D’Amico.Autonomous Formation Flying in Low Earth Orbit.PhD Thesis, Delft University, 2010

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-28T08:42:38.352002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6a12086-0eb0-4ae1-a1b8-03b808b4869e · outbound

This paper cites Cvxpy: A python- embedded modeling language for convex optimization.Jour- nal of Machine Learning Research, 17(83):1–5, 2016.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models Cvxpy: A python- embedded modeling language for convex optimization.Jour- nal of Machine Learning Research, 17(83):1–5, 2016

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-28T08:42:38.352002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f5b3c34-aa13-4255-9110-dd7476714928 · outbound

This paper cites Ecos: An socp solver for embedded systems.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models Ecos: An socp solver for embedded systems

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-28T08:42:38.352002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6416187f-bcf6-4ef6-8c89-cdb6cede2e1c · outbound

This paper cites An optimal guidance law for planetary landing.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models An optimal guidance law for planetary landing

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-28T08:42:38.352002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45c39cf7-8466-46bd-91b9-8b558b68dbcd · outbound

This paper cites Foundation models in robotics: Applications, challenges, and the future.The International Journal of Robotics Research, 44(5):701–739,.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models Foundation models in robotics: Applications, challenges, and the future.The International Journal of Robotics Research, 44(5):701–739,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-28T08:42:38.352002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3fdfe141-d7fb-44a6-bddf-f1dec67f434f · outbound

This paper cites Space-llava: A vision-language model adapted to extraterrestrial applications.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models Space-llava: A vision-language model adapted to extraterrestrial applications

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-28T08:42:38.352002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 15f14362-957c-4e7f-b79a-b82cf7654cac · outbound

This paper cites Transformers for trajectory optimiza- tion with application to spacecraft rendezvous.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models Transformers for trajectory optimiza- tion with application to spacecraft rendezvous

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-28T08:42:38.352002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dbe5fe89-f637-4354-aa50-59a890db0ae3 · outbound

This paper cites Deep reinforcement learn- ing for spacecraft proximity operations guidance.Journal of Spacecraft and Rockets, 58(2):254–264, 2021.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models Deep reinforcement learn- ing for spacecraft proximity operations guidance.Journal of Spacecraft and Rockets, 58(2):254–264, 2021

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-28T08:42:38.352002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5f83316-ba3c-4aa9-a8c4-e82e5dec1356 · outbound

This paper cites Autonomous reasoning for spacecraft control: A large language model framework with group relative policy optimization.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models Autonomous reasoning for spacecraft control: A large language model framework with group relative policy optimization

Reference 12

Resolution: verified exact; arxiv_id, observed 2026-07-02T04:56:39.140788Z

Source-reported events for the cited work

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

Observation 048fb448-6a01-4775-80fb-d2971a6b42b5 · outbound

This paper cites Canonical intermediate representation for llm-based optimization problem formulation and code generation.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models Canonical intermediate representation for llm-based optimization problem formulation and code generation

Reference 13

Resolution: verified exact; arxiv_id, observed 2026-07-02T04:56:39.131784Z

Source-reported events for the cited work

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

Observation ccd2c3c1-dc0f-4392-acfb-e329466633c1 · outbound

This paper cites URL https://arxiv.org/abs/2512.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models URL https://arxiv.org/abs/2512

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-07-02T04:56:39.134738Z

Source-reported events for the cited work

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

Observation 5d32d997-3ba5-424b-8b85-0b9fe1301820 · outbound

This paper cites Fast homotopy for spacecraft rendezvous trajectory optimization with discrete logic.Journal of Guidance, Control, and Dynamics, 46(7): 1262–1279, 2023.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models Fast homotopy for spacecraft rendezvous trajectory optimization with discrete logic.Journal of Guidance, Control, and Dynamics, 46(7): 1262–1279, 2023

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-28T08:42:38.352002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5d24ae0-c405-4212-8734-b5e735b5e273 · outbound

This paper cites Malyuta, T.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models Malyuta, T

Reference 16

Resolution: unresolved; no resolver link, observed 2026-06-28T08:42:38.352002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1d78386-d74c-4e29-b76a-42d78be4edbb · outbound

This paper cites Nc2c: Au- tomated convexification of generic non-convex optimization problems.arXiv preprint arXiv:2601.04789, 2026.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models Nc2c: Au- tomated convexification of generic non-convex optimization problems.arXiv preprint arXiv:2601.04789, 2026

Reference 17

Resolution: verified exact; arxiv_id, observed 2026-07-02T04:56:39.137967Z

Source-reported events for the cited work

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

Observation b458149b-2e48-4f33-8cd8-5022c0235ffe · outbound

This paper cites Nl4opt competition: Formulating optimiza- tion problems based on their natural language descriptions.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models Nl4opt competition: Formulating optimiza- tion problems based on their natural language descriptions

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-28T08:42:38.352002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2de3b17c-c7be-491b-8ffa-04973acaced2 · outbound

This paper cites an unresolved cited work.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-06-28T08:42:38.352002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bee19eac-d5c3-4569-9dc8-8a88dffe1b07 · outbound

This paper cites Towards robust spacecraft trajectory optimization via transformers.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models Towards robust spacecraft trajectory optimization via transformers

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-28T08:42:38.352002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98d2ab24-420e-4838-90e5-ffc56b3e6347 · outbound

This paper cites Pabon, Daniele Gammelli, Marco Pavone, and Simone D’Amico.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models Pabon, Daniele Gammelli, Marco Pavone, and Simone D’Amico

Reference 21

Resolution: unresolved; no resolver link, observed 2026-06-28T08:42:38.352002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2344711-7ffa-49e3-a3cf-e6e8c68a27c1 · outbound

This paper cites VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications

Reference 22

Resolution: verified exact; arxiv_id, observed 2026-07-02T04:56:39.131645Z

Source-reported events for the cited work

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

Observation 97cfcc16-60be-48bc-a8d9-36b823557f0d · outbound

This paper cites Chatstl: A frame- work of translation from natural language to signal temporal logic specifications for autonomous vehicle navigation out of blocked scenarios.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models Chatstl: A frame- work of translation from natural language to signal temporal logic specifications for autonomous vehicle navigation out of blocked scenarios

Reference 23

Resolution: unresolved; no resolver link, observed 2026-06-28T08:42:38.352002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1fa3972-e6ca-435f-8b07-910fdad72147 · outbound

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

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models Plug in the safety chip: Enforcing constraints for llm- driven robot agents

Reference 24

Resolution: unresolved; no resolver link, observed 2026-06-28T08:42:38.352002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ec9caf6-ec47-441f-ad3d-77a6c6271a3c · outbound

This paper cites You will take in 2 files:.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models You will take in 2 files:

Reference 25

Resolution: unresolved; no resolver link, observed 2026-06-28T08:42:38.352002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a595fa37-305c-4fa2-97e5-515010da870a · outbound

This paper cites an unresolved cited work.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-06-28T08:42:38.352002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 034f9d9e-0074-46f3-a5e6-0e37dad71077 · outbound

This paper cites an unresolved cited work.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-06-28T08:42:38.352002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47cf6ba2-d97a-4dea-9f06-8abca213ae2c · outbound

This paper cites Generated LATEX Output for Prompt 1 Observation Distance Constraint Letd max = 30m be the maximum allowable relative posi- tion norm for observation.

Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models Generated LATEX Output for Prompt 1 Observation Distance Constraint Letd max = 30m be the maximum allowable relative posi- tion norm for observation

Reference 28

Resolution: unresolved; no resolver link, observed 2026-06-28T08:42:38.352002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.