REVIEW 4 cited by
Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
read the original abstract
Grounding navigational commands to linear temporal logic (LTL) leverages its unambiguous semantics for reasoning about long-horizon tasks and verifying the satisfaction of temporal constraints. Existing approaches require training data from the specific environment and landmarks that will be used in natural language to understand commands in those environments. We propose Lang2LTL, a modular system and a software package that leverages large language models (LLMs) to ground temporal navigational commands to LTL specifications in environments without prior language data. We comprehensively evaluate Lang2LTL for five well-defined generalization behaviors. Lang2LTL demonstrates the state-of-the-art ability of a single model to ground navigational commands to diverse temporal specifications in 21 city-scaled environments. Finally, we demonstrate a physical robot using Lang2LTL can follow 52 semantically diverse navigational commands in two indoor environments.
Forward citations
Cited by 4 Pith papers
-
Weights or Skills? A Survey of Robot-Learning Techniques: from Action-Predicting Weights to Robots that Write their Own Skills
A taxonomy of robot learning on a weights-versus-skills axis, with a five-rung self-improvement ladder whose top cell (feedback plus memory plus search) holds only a few recent systems.
-
Deploying Foundation Model-Enabled Air and Ground Robots in the Field: Challenges and Opportunities
A closed-loop LLM planning framework was field-tested on ground and aerial robots for kilometer-scale missions, including an onboard UAV planner built from a distilled small language model.
-
Air-Ground Collaboration for Language-Specified Missions in Unknown Environments
A drone and a ground robot coordinated by an LLM planner over an intermittently shared semantic map complete seven natural-language missions in unknown outdoor environments.
-
What is Formal Verification without Specifications? A Survey on mining LTL Specifications
This is a structured survey and qualitative comparison of recent algorithms for learning LTL specifications from positive and negative behavioral examples.
Discussion (0). Continue with ORCID to comment.