4 papers
If, Then, Otherwise: Diagnosing Conditional Branching in Vision-Language Navigation
Seoyoung Lee, Neel P. Bhatt, Pranay Samineni +8
Vision-language navigation agents are often evaluated on their ability to follow route-like instructions toward a fixed goal. Yet, real navigation instructions often depend on obse…
Co-GLANCE: Uncertainty-Aware Active Perception for Heterogeneous Robot Teaming
Michal P. Podolinsky, Neel P. Bhatt, Pranay Samineni +3
Perceptual uncertainty is a central challenge for heterogeneous robot teams operating in unstructured outdoor environments, where no single viewpoint affords reliable scene underst…
RepV: Safety-Separable Latent Spaces for Scalable Neurosymbolic Plan Verification
Yunhao Yang, Neel P. Bhatt, Pranay Samineni +3
As AI systems migrate to safety-critical domains, verifying that their actions comply with well-defined rules remains a challenge. Formal methods provide provable guarantees but de…
VLN-Zero: Rapid Exploration and Cache-Enabled Neurosymbolic Vision-Language Planning for Zero-Shot Transfer in Robot Navigation
Neel P. Bhatt, Yunhao Yang, Rohan Siva +4
Rapid adaptation in unseen environments is essential for scalable real-world autonomy, yet existing approaches rely on exhaustive exploration or rigid navigation policies that fail…