From the 1 of 14 linked papers with an AI index.
14 papers
ViSAGE: Constructing Self-Correcting Memories for Long-Form Video Understanding
Xinkui Zhao, Enbo Chen, Yifan Zhang +4
Multimodal agents operating in long-horizon environments must build and continually update multimedia memories to support entity-consistent, temporally grounded reasoning. However,…
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…
DRAMA: Next-Gen Dynamic Orchestration for Resilient Multi-Agent Ecosystems in Flux
Xinkui Zhao, Yifan Zhang, Sai Liu +6
Multi-agent systems (MAS) have demonstrated significant effectiveness in addressing complex problems through coordinated collaboration among heterogeneous agents. However, real-wor…
SortingHat: Redefining Operating Systems Education with a Tailored Digital Teaching Assistant
Yifan Zhang, Xinkui Zhao, Zuxin Wang +4
Operating Systems (OS) courses are among the most challenging in computer science education due to the complexity of internal structures and the diversity of running environments.…
GRAB-ANNS: High-Throughput Indexing and Hybrid Search via GPU-Native Bucketing
Xinkui Zhao, Hengxuan Lou, Yifan Zhang +3
Hybrid search, which jointly optimizes vector similarity and structured predicate filtering, has become a fundamental building block for modern AI-driven systems. While recent pred…
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…