collaborators

8 papers

cs.CV2026

LiveStarPro: Proactive Streaming Video Understanding with Hierarchical Memory for Long-Horizon Streams

Zhenyu Yang, Kairui Zhang, Bing Wang +2

Despite the remarkable progress of Video Large Language Models (Video-LLMs), current online architectures still struggle to simultaneously process continuous video streams, decide…

cs.CV2026

Never Seen Before: Benchmarking Genuine Zero-Shot Composed Image Retrieval with Consistent Video-Sourced Datasets

Zhenyu Yang, Zemin Du, Shengsheng Qian +1

Zero-Shot Composed Image Retrieval (ZS-CIR) aims to retrieve a target image based on a query composed of a reference image and a relative caption without training samples. Existing…

cs.CV2026

Don't Pause: Streaming Video-Language Synchrony for Online Video Understanding

Zhenyu Yang, Kairui Zhang, Shengsheng Qian +2

Online Video Large Language Models (Video-LLMs) have advanced toward seamless human-AI interaction through frame-by-frame processing and proactive responding. However, a critical c…

cs.SE2026

Can Large Language Models Model Programs Formally?

Zhiyong Chen, Jialun Cao, Jiarong Wu +2

In the digital age, ensuring the correctness, safety, and reliability of software through formal verification is paramount, particularly as software increasingly underpins critical…

cs.SI2025

SoMe: A Realistic Benchmark for LLM-based Social Media Agents

Dizhan Xue, Jing Cui, Shengsheng Qian +2

Intelligent agents powered by large language models (LLMs) have recently demonstrated impressive capabilities and gained increasing popularity on social media platforms. While LLM…

cs.CV2025

SVBench: A Benchmark with Temporal Multi-Turn Dialogues for Streaming Video Understanding

Zhenyu Yang, Yuhang Hu, Zemin Du +6

Despite the significant advancements of Large Vision-Language Models (LVLMs) on established benchmarks, there remains a notable gap in suitable evaluation regarding their applicabi…