Know Where You're Uncertain When Planning with Multimodal Foundation Models: A Formal Framework

Documenti analoghi

• VLN-Zero: Rapid Exploration and Cache-Enabled Neurosymbolic Vision-Language Planning for Zero-Shot Transfer in Robot Navigation
  di: Bhatt, Neel P., et al.
  Pubblicazione: (2025)
• RepV: Safety-Separable Latent Spaces for Scalable Neurosymbolic Plan Verification
  di: Yang, Yunhao, et al.
  Pubblicazione: (2025)
• Fine-Tuning Language Models Using Formal Methods Feedback
  di: Yang, Yunhao, et al.
  Pubblicazione: (2023)
• Joint Verification and Refinement of Language Models for Safety-Constrained Planning
  di: Yang, Yunhao, et al.
  Pubblicazione: (2024)
• UNCAP: Uncertainty-Guided Neurosymbolic Planning Using Natural Language Communication for Cooperative Autonomous Vehicles
  di: Bhatt, Neel P., et al.
  Pubblicazione: (2025)