Retrieval-Augmented Language Models are Mimetic Theorem Provers. - Wenjie Yang 006; Ruiyuan Huang; Jiaxing Guo; Zicheng Lyu; Tongshan Xu; Shengzhong Zhang; Lun Du; Da Zheng 004; Zengfeng Huang (EMNLP (Findings), 2025)

Few Batches or Little Memory, But Not Both: Simultaneous Space and Adaptivity Constraints in Stochastic Bandits. - Ruiyuan Huang; Zicheng Lyu; Xiaoyi Zhu; Zengfeng Huang (CoRR, 2026)

Wasserstein Propagation for Reverse Diffusion under Weak Log-Concavity: Exploiting Metric Mismatch via One-Switch Routing. - Zicheng Lyu; Zengfeng Huang (CoRR, 2026)