Letian Leng
Papers
1
Total Citations
1
H-Index
1
About
Letian Leng is a robotics researcher whose work focuses on bridging the gap between natural language and formal task specifications for multi-robot systems. His key research areas include human-robot interaction, formal methods, and task planning. Leng’s major contribution is the development of the NL2HLTL2Plan framework, which enables non-experts to specify long-horizon, collaborative multi-robot tasks by translating natural language commands into hierarchical linear temporal logic (HLTL) specifications. This work addresses a critical challenge in robotics: making complex task planning accessible to users without technical expertise, while ensuring accuracy and efficiency. Although his most-cited paper is recent (2025), its innovative approach to scaling natural language understanding for multi-robot coordination has already garnered attention, with 1 citation. Leng’s research has significant implications for real-world applications, such as warehouse automation and disaster response, where intuitive human-robot collaboration is essential. His work exemplifies the growing trend of integrating large language models with formal verification to create robust, user-friendly robotic systems.
Research Focus
Key Achievements
Top Papers
- 1