21 citations · 39 across the 21 of their papers we have counts for
4 papers · 1 filter
Foundation Models for Logistics: Toward Certifiable, Conversational Planning Interfaces
Yunhao Yang, Neel P. Bhatt, Christian Ellis +4
Logistics operators, from battlefield coordinators re-routing airlifts ahead of a storm to warehouse managers juggling late trucks, need to make mission-critical decisions. Prevail…
Evaluating Human Trust in LLM-Based Planners: A Preliminary Study
Shenghui Chen, Yunhao Yang, Kayla Boggess +3
Large Language Models (LLMs) are increasingly used for planning tasks, offering unique capabilities not found in classical planners such as generating explanations and iterative re…
Fine-Tuning Language Models Using Formal Methods Feedback
Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand +4
Although pre-trained language models encode generic knowledge beneficial for planning and control, they may fail to generate appropriate control policies for domain-specific tasks.…
Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception
Yunhao Yang, Cyrus Neary, Ufuk Topcu
Recently developed pretrained models can encode rich world knowledge expressed in multiple modalities, such as text and images. However, the outputs of these models cannot be integ…