Jiaming Tong

Papers

Total Citations

H-Index

About

Jiaming Tong is a robotics researcher whose work lies at the intersection of formal methods, natural language processing, and autonomous planning. His primary research focuses on enabling mobile robots to understand and execute complex, temporally ordered missions expressed in natural language. Tong's major contribution is the development of a novel framework that bridges Large Language Models (LLMs) with Linear Temporal Logic (LTL), allowing robots to translate high-level, human-readable instructions into verifiable, logically structured plans. This "conformal temporal logic planning" approach ensures that robot behavior is not only semantically correct but also provably safe and compliant with mission constraints. His most-cited paper, "Conformal Temporal Logic Planning using Large Language Models" (2023, 5 citations), has laid the groundwork for this methodology, with a follow-up in 2025 (3 citations) refining the technique. While still early in his career, Tong's work is gaining traction for its practical approach to a core robotics challenge: making autonomous systems both intelligent and trustworthy. His research promises to significantly enhance human-robot collaboration in domains like manufacturing, logistics, and service robotics.