7 citations · 19 across the 15 of their papers we have counts for
17 papers
RECAST: Learning to Compute the Right Context through Adaptive Evidence Routing
Yilun Hao, Krishna Sayana, Isabella Ye +4
Large language models are increasingly applied to tasks grounded in long, heterogeneous information sources. Conventional Retrieval-Augmented Generation (RAG) relies on fixed simil…
Bayesian Active Learning for Intent Disambiguation in Interactive Robot Planning
Huao Li, Carson Sobolewski, Augustinos Saravanos +3
Interactive robot planning requires robots to infer and execute human intentions from natural language instructions that are often ambiguous, incomplete, or underspecified. Althoug…
Navigating the Clutter: Waypoint-Based Bi-Level Planning for Multi-Robot Systems
Jiabao Ji, Yongchao Chen, Yang Zhang +4
Multi-robot control in cluttered environments is a challenging problem that involves complex physical constraints, including robot-robot collisions, robot-obstacle collisions, and…
Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning
Yilun Hao, Yongchao Chen, Chuchu Fan +1
Vision Language Models (VLMs) show strong potential for visual planning but struggle with precise spatial and long-horizon reasoning, while Planning Domain Definition Language (PDD…
TUMIX: Multi-Agent Test-Time Scaling with Tool-Use Mixture
Yongchao Chen, Jiefeng Chen, Rui Meng +6
While integrating tools like Code Interpreter and Search has significantly enhanced Large Language Model (LLM) reasoning in models like ChatGPT Agent and Gemini-Pro, practical guid…
Collision- and Reachability-Aware Multi-Robot Control with Grounded LLM Planners
Jiabao Ji, Yongchao Chen, Yang Zhang +4
Large language models (LLMs) have demonstrated strong performance in various robot control tasks. However, their deployment in real-world applications remains constrained. Even sta…
R1-Code-Interpreter: LLMs Reason with Code via Supervised and Multi-stage Reinforcement Learning
Yongchao Chen, Yueying Liu, Junwei Zhou +5
Practical guidance on training Large Language Models (LLMs) to leverage Code Interpreter across diverse tasks remains lacking. We present R1-Code-Interpreter, an extension of a tex…
AuDeRe: Automated Strategy Decision and Realization in Robot Planning and Control via LLMs
Yue Meng, Fei Chen, Yongchao Chen +1
Recent advancements in large language models (LLMs) have shown significant promise in various domains, especially robotics. However, most prior LLM-based work in robotic applicatio…
Code-as-Symbolic-Planner: Foundation Model-Based Robot Planning via Symbolic Code Generation
Yongchao Chen, Yilun Hao, Yang Zhang +1
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 cha…
CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance
Yongchao Chen, Yilun Hao, Yueying Liu +2
Existing methods fail to effectively steer Large Language Models (LLMs) between textual reasoning and code generation, leaving symbolic computing capabilities underutilized. We int…
Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming
Yilun Hao, Yang Zhang, Chuchu Fan
While large language models (LLMs) have recently demonstrated strong potential in solving planning problems, there is a trade-off between flexibility and complexity. LLMs, as zero-…
Steering Large Language Models between Code Execution and Textual Reasoning
Yongchao Chen, Harsh Jhamtani, Srinagesh Sharma +2
While a lot of recent research focuses on enhancing the textual reasoning capabilities of Large Language Models (LLMs) by optimizing the multi-agent framework or reasoning chains,…
Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools
Yilun Hao, Yongchao Chen, Yang Zhang +1
Large Language Models (LLMs) struggle to directly generate correct plans for complex multi-constraint planning problems, even with self-verification and self-critique. For example,…
PRompt Optimization in Multi-Step Tasks (PROMST): Integrating Human Feedback and Heuristic-based Sampling
Yongchao Chen, Jacob Arkin, Yilun Hao +3
Prompt optimization aims to find the best prompt to a large language model (LLM) for a given task. LLMs have been successfully used to help find and improve prompt candidates for s…
Almost-Sure Safety Guarantees of Stochastic Zero-Control Barrier Functions Do Not Hold
Oswin So, Andrew Clark, Chuchu Fan
The 2021 paper "Control barrier functions for stochastic systems" provides theorems that give almost sure safety guarantees given stochastic zero control barrier function (ZCBF). U…
How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems
Oswin So, Zachary Serlin, Makai Mann +4
Control barrier functions (CBF) have become popular as a safety filter to guarantee the safety of nonlinear dynamical systems for arbitrary inputs. However, it is difficult to cons…
Scalable Multi-Robot Collaboration with Large Language Models: Centralized or Decentralized Systems?
Yongchao Chen, Jacob Arkin, Yang Zhang +2
A flurry of recent work has demonstrated that pre-trained large language models (LLMs) can be effective task planners for a variety of single-robot tasks. The planning performance…