Neel P. Bhatt

15 papers A 1Journal 12Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Neurosymbolic LoRA: Why and When to Tune Weights vs. Rewrite Prompts.
CoRR
Kevin Wang, Neel P. Bhatt, Cong Liu, Junbo Li, Runjin Chen, Yihan Xi, Timothy Barclay, Alvaro Velasquez, Ufuk Topcu, Zhangyang Wang
2025 J jnl
Foundation Models for Logistics: Toward Certifiable, Conversational Planning Interfaces.
CoRR
Yunhao Yang, Neel P. Bhatt, Christian Ellis, Alvaro Velasquez, Zhangyang Wang, Ufuk Topcu
2025 — conf
Know Where You're Uncertain When Planning with Multimodal Foundation Models: A Formal Framework.
MLSys
Neel P. Bhatt, Yunhao Yang, Rohan Siva, Daniel Milan, Ufuk Topcu, Zhangyang Wang
2025 J jnl
Real-Time Privacy Preservation for Robot Visual Perception.
CoRR
Minkyu Choi, Yunhao Yang, Neel P. Bhatt, Kushagra Gupta, Sahil Shah, Aditya Rai, David Fridovich-Keil, Ufuk Topcu, Sandeep P. Chinchali
2025 J jnl
Real-Time Privacy Preservation for Robot Visual Perception.
Trans. Mach. Learn. Res.
Minkyu Choi, Yunhao Yang, Neel P. Bhatt, Kushagra Gupta, Sahil Shah, Aditya Rai, David Fridovich-Keil, Ufuk Topcu, Sandeep P. Chinchali
2025 J jnl
RepV: Safety-Separable Latent Spaces for Scalable Neurosymbolic Plan Verification.
CoRR
Yunhao Yang, Neel P. Bhatt, Pranay Samineni, Rohan Siva, Zhangyang Wang, Ufuk Topcu
2025 J jnl
UNCAP: Uncertainty-Guided Planning Using Natural Language Communication for Cooperative Autonomous Vehicles.
CoRR
Neel P. Bhatt, Po-han Li, Kushagra Gupta, Rohan Siva, Daniel Milan, Alexander T. Hogue, Sandeep P. Chinchali, David Fridovich-Keil, Zhangyang Wang, Ufuk Topcu
2025 J jnl
VLN-Zero: Rapid Exploration and Cache-Enabled Neurosymbolic Vision-Language Planning for Zero-Shot Transfer in Robot Navigation.
CoRR
Neel P. Bhatt, Yunhao Yang, Rohan Siva, Pranay Samineni, Daniel Milan, Zhangyang Wang, Ufuk Topcu
2024 J jnl
Comp4D: LLM-Guided Compositional 4D Scene Generation.
CoRR
Dejia Xu, Hanwen Liang, Neel P. Bhatt, Hezhen Hu, Hanxue Liang, Konstantinos N. Plataniotis, Zhangyang Wang
2024 — conf
Fine-Tuning Language Models Using Formal Methods Feedback: A Use Case in Autonomous Systems.
MLSys
Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand, William Ward, Steven Carr, Atlas Wang, Ufuk Topcu
2024 J jnl
Know Where You're Uncertain When Planning with Multimodal Foundation Models: A Formal Framework.
CoRR
Neel P. Bhatt, Yunhao Yang, Rohan Siva, Daniel Milan, Ufuk Topcu, Zhangyang Wang
2024 A conf
MM3DGS SLAM: Multi-modal 3D Gaussian Splatting for SLAM Using Vision, Depth, and Inertial Measurements.
IROS
Lisong C. Sun, Neel P. Bhatt, Jonathan C. Liu, Zhiwen Fan, Zhangyang Wang, Todd E. Humphreys, Ufuk Topcu
2024 J jnl
MM3DGS SLAM: Multi-modal 3D Gaussian Splatting for SLAM Using Vision, Depth, and Inertial Measurements.
CoRR
Lisong C. Sun, Neel P. Bhatt, Jonathan C. Liu, Zhiwen Fan, Zhangyang Wang, Todd E. Humphreys, Ufuk Topcu
2024 J jnl
On The Planning Abilities of OpenAI's o1 Models: Feasibility, Optimality, and Generalizability.
CoRR
Kevin Wang, Junbo Li, Neel P. Bhatt, Yihan Xi, Qiang Liu, Ufuk Topcu, Zhangyang Wang
2023 J jnl
Fine-Tuning Language Models Using Formal Methods Feedback.
CoRR
Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand, William Ward, Steven Carr, Zhangyang Wang, Ufuk Topcu