LLMs translate semantic mission requirements into convex trajectory optimization problems and code for spacecraft rendezvous with high reported success rate.
Vernacopter: Disambiguated natural- language-driven robot via formal specifications.arXiv preprint arXiv:2409.09536, 2024
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.OC 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Semantic Constraint Synthesis for Adaptive Trajectory Optimization via Large Language Models
LLMs translate semantic mission requirements into convex trajectory optimization problems and code for spacecraft rendezvous with high reported success rate.