Chuchu Fan

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

2023

Temporal Logic (TL) can be used to rigorously specify complex high-level specification for systems in many engineering applications. The translation between natural language (NL) and TL has been under-explored due to the lack of dataset …

Code-as-Symbolic-Planner: Foundation Model-Based Robot Planning via Symbolic Code Generation

2025 · arXiv (Cornell University)

Recent works have shown great potentials of Large Language Models (LLMs) in robot task and motion planning (TAMP). Current LLM approaches generate text- or code-based reasoning chains with sub-goals and action plans. However, they do …