Author

Jiachen Zhu

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Oct 2026

ReuF2F: Benchmarking Coding Agents on Formalized Undergraduate Research Problems

ReuF2F is introduced, a Lean 4 benchmark of 244 formalized open problems drawn from Research Experiences for Undergraduates (REU), spanning entry-level open research problems across a broad range of mathematical subfields and adopts a standard coding-agent evaluation setting.

Ze-Yu Zheng, Yi-Yan Liu, Yu-Yang Zhao et al. · 0 citations

#artificial intelligence Preprint Oct 2026

AMBER: Multi-View Adaptive Budget Allocation for Listwise Vision-Language Reranking

Vision-language models (VLMs) are powerful listwise rerankers for multimodal retrieval, but high inference costs restrict them to evaluating small local candidate views. Existing multi-call strategies rely on fixed schedules, wasting expensive VLM calls on uninformative candidate pairs and easy queries. To address this...

Wen-Teng Chen, Jiachen Zhu, Shan Rong et al. · 0 citations