Hui Sun

works on

code generation 1 computer-aided design 1 Dafny 1 exemplar selection 1 formal verification 1 in-context learning 1 program analysis 1 reinforcement learning 1 specification synthesis 1 submodular optimization 1 test generation 1

From the 2 of 8 linked papers with an AI index.

activity

20242026

collaborators

Showing cs.CVShow all

1 paper · 1 filter

cs.CV2025

MDP3: A Training-free Approach for List-wise Frame Selection in Video-LLMs

Hui Sun, Shiyin Lu, Huanyu Wang +5

Video large language models (Video-LLMs) have made significant progress in understanding videos. However, processing multiple frames leads to lengthy visual token sequences, presen…