:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Choi, Minkyu, Yang, Yunhao, Bhatt, Neel P., Gupta, Kushagra, Shah, Sahil, Rai, Aditya, Fridovich-Keil, David, Topcu, Ufuk, Chinchali, Sandeep P.
Format:	Preprint
Published:	2025
Subjects:	Computer Vision and Pattern Recognition
Online Access:	https://arxiv.org/abs/2505.05519
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Flow Matching Algorithm for Many-Shot Adaptation to Unseen Distributions
by: Ingebrand, Tyler, et al.
Published: (2026)

UNCAP: Uncertainty-Guided Neurosymbolic Planning Using Natural Language Communication for Cooperative Autonomous Vehicles
by: Bhatt, Neel P., et al.
Published: (2025)

Interleaved Information Structures in Dynamic Games: A General Framework with Application to the Linear-Quadratic Case
by: K, Janani S, et al.
Published: (2026)

More Information is Not Always Better: Connections between Zero-Sum Local Nash Equilibria in Feedback and Open-Loop Information Patterns
by: Gupta, Kushagra, et al.
Published: (2025)

Second-Order Algorithms for Finding Local Nash Equilibria in Zero-Sum Games
by: Gupta, Kushagra, et al.
Published: (2024)

Monotonic Transformation Invariant Multi-task Learning
by: Murthy, Surya, et al.
Published: (2025)

Cooperative Bargaining Games Without Utilities: Mediated Solutions from Direction Oracles
by: Gupta, Kushagra, et al.
Published: (2025)

Towards Neuro-Symbolic Video Understanding
by: Choi, Minkyu, et al.
Published: (2024)

We'll Fix it in Post: Improving Text-to-Video Generation with Neuro-Symbolic Feedback
by: Choi, Minkyu, et al.
Published: (2025)

Game-theoretic Occlusion-Aware Motion Planning: an Efficient Hybrid-Information Approach
by: Gupta, Kushagra, et al.
Published: (2023)

PEERNet: An End-to-End Profiling Tool for Real-Time Networked Robotic Systems
by: Narayanan, Aditya, et al.
Published: (2024)

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification
by: Sharan, S P, et al.
Published: (2024)

CSA: Data-efficient Mapping of Unimodal Features to Multimodal Features
by: Li, Po-han, et al.
Published: (2024)

Chance-Constrained Correlated Equilibria for Robust Noncooperative Coordination
by: Im, Jaehan, et al.
Published: (2026)

Noncooperative Virtual Queue Coordination via Uncertainty-Aware Correlated Equilibria
by: Im, Jaehan, et al.
Published: (2026)

Scalable Coordination with Chance-Constrained Correlated Equilibria via Reduced-Rank Structure
by: Im, Jaehan, et al.
Published: (2026)

Online Foundation Model Selection in Robotics
by: Li, Po-han, et al.
Published: (2024)

Any2Any: Incomplete Multimodal Retrieval with Conformal Prediction
by: Li, Po-han, et al.
Published: (2024)

A Multi-Fidelity Control Variate Approach for Policy Gradient Estimation
by: Liu, Xinjie, et al.
Published: (2025)

Dense Dynamics-Aware Reward Synthesis: Integrating Prior Experience with Demonstrations
by: Koprulu, Cevahir, et al.
Published: (2024)

MoS-VLA: A Vision-Language-Action Model with One-Shot Skill Adaptation
by: Zhao, Ruihan, et al.
Published: (2025)

Human-Agent Coordination in Games under Incomplete Information via Multi-Step Intent
by: Chen, Shenghui, et al.
Published: (2024)

IG-MCTS: Human-in-the-Loop Cooperative Navigation under Incomplete Information
by: Chen, Shenghui, et al.
Published: (2025)

VLN-Zero: Rapid Exploration and Cache-Enabled Neurosymbolic Vision-Language Planning for Zero-Shot Transfer in Robot Navigation
by: Bhatt, Neel P., et al.
Published: (2025)

Coordination in Noncooperative Multiplayer Matrix Games via Reduced Rank Correlated Equilibria
by: Im, Jaehan, et al.
Published: (2024)

Secure Coordination for Vertiport Sequencing in Advanced Air Mobility
by: Im, Jaehan, et al.
Published: (2026)

Game-theoretic Decentralized Coordination for Airspace Sector Overload Mitigation
by: Im, Jaehan, et al.
Published: (2025)

A Challenge to Build Neuro-Symbolic Video Agents
by: Shah, Sahil, et al.
Published: (2025)

A Framework for Finding Local Saddle Points in Two-Player Zero-Sum Black-Box Games
by: Agarwal, Shubhankar, et al.
Published: (2025)

Know Where You're Uncertain When Planning with Multimodal Foundation Models: A Formal Framework
by: Bhatt, Neel P., et al.
Published: (2024)

RepV: Safety-Separable Latent Spaces for Scalable Neurosymbolic Plan Verification
by: Yang, Yunhao, et al.
Published: (2025)

Joint Verification and Refinement of Language Models for Safety-Constrained Planning
by: Yang, Yunhao, et al.
Published: (2024)

VIBE: Annotation-Free Video-to-Text Information Bottleneck Evaluation for TL;DR
by: Chen, Shenghui, et al.
Published: (2025)

ViSIL: Unified Evaluation of Information Loss in Multimodal Video Captioning
by: Li, Po-han, et al.
Published: (2026)

NeuS-QA: Grounding Long-Form Video Understanding in Temporal Logic and Neuro-Symbolic Reasoning
by: Shah, Sahil, et al.
Published: (2025)

Relationship Design for Socially-Aware Behavior in Static Games
by: Chen, Shenghui, et al.
Published: (2022)

Iterative Negotiation and Oversight: A Case Study in Decentralized Air Traffic Management
by: Im, Jaehan, et al.
Published: (2025)

When Should Agents Coordinate in Differentiable Sequential Decision Problems?
by: Probine, Caleb, et al.
Published: (2026)

Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning
by: Bakirtzis, Georgios, et al.
Published: (2024)

Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception
by: Yang, Yunhao, et al.
Published: (2023)