6 citations · 10 across the 16 of their papers we have counts for
4 papers · 1 filter
ReuF2F: Benchmarking Coding Agents on Formalized Undergraduate Research Problems
Zeyu Zheng, Yiyang Liu, Yuyang Zhao +20
As AI systems begin to resolve open research problems, reliable verification becomes increasingly important. Formal mathematics provides a trusted framework for mathematical reason…
AMBER: Multi-View Adaptive Budget Allocation for Listwise Vision-Language Reranking
Wenteng Chen, Jiachen Zhu, Rong Shan +10
Vision-language models (VLMs) are powerful listwise rerankers for multimodal retrieval, but high inference costs restrict them to evaluating small local candidate views. Existing m…
Turing Test on Screen: A Benchmark for Mobile GUI Agent Humanization
Jiachen Zhu, Lingyu Yang, Rong Shan +6
The rise of autonomous GUI agents has triggered adversarial countermeasures from digital platforms, yet existing research prioritizes utility and robustness over the critical dimen…
OSCAR: Optimization-Steered Agentic Planning for Composed Image Retrieval
Teng Wang, Rong Shan, Jianghao Lin +8
Composed image retrieval (CIR) requires complex reasoning over heterogeneous visual and textual constraints. Existing approaches largely fall into two paradigms: unified embedding…