GitAgent: Facilitating Autonomous Agent with GitHub by Tool Extension. - Bohan Lyu 001; Xin Cong; Heyang Yu; Pan Yang 022; Yujia Qin; Yining Ye; Yaxi Lu; Zhong Zhang; Yukun Yan; Yankai Lin; Zhiyuan Liu 001; Maosong Sun 001 (CoRR, 2023)

VideoScore: Building Automatic Metrics to Simulate Fine-grained Human Feedback for Video Generation. - Xuan He; Dongfu Jiang; Ge Zhang 009; Max Ku; Achint Soni; Sherman Siu; Haonan Chen; Abhranil Chandra; Ziyan Jiang; Aaran Arulraj; Kai Wang 068; Quy Duc Do; et al. (EMNLP, 2024)

Exploring Diffusion Models' Corruption Stage in Few-Shot Fine-tuning and Mitigating with Bayesian Neural Networks. - Xiaoyu Wu; Jiaru Zhang; Yang Hua 001; Bohan Lyu 001; Hao Wang 022; Tao Song 003; Haibing Guan (CoRR, 2024)

Adapting While Learning: Grounding LLMs for Scientific Problems with Intelligent Tool Usage Adaptation. - Bohan Lyu 001; Yadi Cao; Duncan Watson-Parris; Leon Bergen; Taylor Berg-Kirkpatrick; Rose Yu (CoRR, 2024)

Enhancing Open-Domain Task-Solving Capability of LLMs via Autonomous Tool Integration from GitHub. - Bohan Lyu 001; Xin Cong; Heyang Yu; Pan Yang 022; Cheng Qian 008; Zihe Wang; Yujia Qin; Yining Ye; Yaxi Lu; Chen Qian; Zhong Zhang; Yukun Yan; et al. (ACL (1), 2025)

MEGA-Bench: Scaling Multimodal Evaluation to over 500 Real-World Tasks. - Jiacheng Chen; Tianhao Liang; Sherman Siu; Zhengqing Wang; Kai Wang 068; Yubo Wang; Yuansheng Ni; Ziyan Jiang; Wang Zhu 001; Bohan Lyu 001; Dongfu Jiang; Xuan He; et al. (ICLR, 2025)

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving. - Yong Lin; Shange Tang; Bohan Lyu 001; Jiayun Wu; Hongzhou Lin; Kaiyu Yang; Jia Li; Mengzhou Xia; Danqi Chen 001; Sanjeev Arora; Chi Jin 001 (CoRR, 2025)

SURGE: On the Potential of Large Language Models as General-Purpose Surrogate Code Executors. - Bohan Lyu 001; Siqiao Huang; Zichen Liang (CoRR, 2025)

Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities. - Haoyu Zhao; Yihan Geng; Shange Tang; Yong Lin; Bohan Lyu 001; Hongzhou Lin; Chi Jin 001; Sanjeev Arora (CoRR, 2025)

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction. - Yong Lin; Shange Tang; Bohan Lyu 001; Ziran Yang; Jui-Hui Chung; Haoyu Zhao; Lai Jiang; Yihan Geng; Jiawei Ge 003; Jingruo Sun; Jiayun Wu; Jiri Gesi; et al. (CoRR, 2025)