From the 1 of 6 linked papers with an AI index.
6 papers
FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs
Yifan Zhang, Xinkui Zhao, Sai Liu +3
FAVA is a framework that translates natural‑language tasks for large language model agents into structured permission constraints and uses SMT solving to verify and enforce safe ex…
Uncertainty Quantification for Flow-Based Vision-Language-Action Models
Ralf Römer, Maximilian Seeliger, Saida Liu +5
Vision-language-action models (VLAs) combine vision-language backbones with expressive generative action heads trained via flow matching on large-scale robotic datasets. Despite th…
ATOM: Instantiating Budget-Controllable Multi-Agent Collaboration via Nucleus-Electron Hierarchy
Xinkui Zhao, Sai Liu, Yifan Zhang +6
Large Language Model (LLM)-based multi-agent systems rely on optimized collaboration topologies to balance performance and communication costs. However, current methods struggle wi…
MATT-Diff: Multimodal Active Target Tracking by Diffusion Policy
Saida Liu, Nikolay Atanasov, Shumon Koga
This paper proposes MATT-Diff: Multimodal Active Target Tracking by Diffusion Policy, a control policy for active multi-target tracking using a mobile agent. The policy enables mul…
ProMAS: Proactive Error Forecasting for Multi-Agent Systems Using Markov Transition Dynamics
Xinkui Zhao, Sai Liu, Yifan Zhang +4
The integration of Large Language Models into Multi-Agent Systems (MAS) has enabled the so-lution of complex, long-horizon tasks through collaborative reasoning. However, this coll…
MUSE: A Heterogeneity-Aware Multimedia Search Engine for Mobile SoCs
Xinkui Zhao, Qingyu Ma, Yifan Zhang +8
On-device multimedia retrieval is vital for smartphones, enabling applications like cross-modal semantic search and multimodal personal AI agents. However, realizing efficient retr…