Fine-Tuning Language Models Using Formal Methods Feedback. - Yunhao Yang; Neel P. Bhatt; Tyler Ingebrand; William Ward; Steven Carr 002; Zhangyang Wang; Ufuk Topcu (CoRR, 2023)

MM3DGS SLAM: Multi-modal 3D Gaussian Splatting for SLAM Using Vision, Depth, and Inertial Measurements. - Lisong C. Sun; Neel P. Bhatt; Jonathan C. Liu; Zhiwen Fan; Zhangyang Wang; Todd E. Humphreys; Ufuk Topcu (IROS, 2024)

Fine-Tuning Language Models Using Formal Methods Feedback: A Use Case in Autonomous Systems. - Yunhao Yang; Neel P. Bhatt; Tyler Ingebrand; William Ward; Steven Carr 002; Atlas Wang; Ufuk Topcu (MLSys, 2024)

Comp4D: LLM-Guided Compositional 4D Scene Generation. - Dejia Xu; Hanwen Liang; Neel P. Bhatt; Hezhen Hu; Hanxue Liang; Konstantinos N. Plataniotis; Zhangyang Wang (CoRR, 2024)

On The Planning Abilities of OpenAI's o1 Models: Feasibility, Optimality, and Generalizability. - Kevin Wang; Junbo Li; Neel P. Bhatt; Yihan Xi; Qiang Liu 001; Ufuk Topcu; Zhangyang Wang (CoRR, 2024)

Know Where You're Uncertain When Planning with Multimodal Foundation Models: A Formal Framework. - Neel P. Bhatt; Yunhao Yang; Rohan Siva; Daniel Milan; Ufuk Topcu; Zhangyang Wang (CoRR, 2024)

Real-Time Privacy Preservation for Robot Visual Perception. - Minkyu Choi 001; Yunhao Yang; Neel P. Bhatt; Kushagra Gupta; Sahil Shah; Aditya Rai; David Fridovich-Keil; Ufuk Topcu; Sandeep P. Chinchali (CoRR, 2025)

Foundation Models for Logistics: Toward Certifiable, Conversational Planning Interfaces. - Yunhao Yang; Neel P. Bhatt; Christian Ellis; Alvaro Velasquez; Zhangyang Wang; Ufuk Topcu (CoRR, 2025)