Bohan Lyu

Undergrad student, Tsinghua University

Joined

January 2024

Names

Bohan Lyu (Preferred)

Emails

****@mails.tsinghua.edu.cn (Confirmed)

****@qq.com (Confirmed)

****@gmail.com (Confirmed)

****@berkeley.edu (Confirmed)

Personal Links

Career & Education History

Undergrad student

Tsinghua University (tsinghua.edu.cn)

2022 – 2026

Advisors, Relations & Conflicts

Coauthor

Yong Lin

2025 – Present

Coauthor

Chi Jin

2025 – Present

Coauthor

Yadi Cao

2024 – 2025

Coauthor

Rose Yu

2024 – 2025

Expertise

No areas of expertise listed

Publications

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
Yong Lin, Shange Tang, Bohan Lyu, Ziran Yang, Jui-Hui Chung, Haoyu Zhao, Lai Jiang, Yihan Geng, Jiawei Ge, Jingruo Sun, Jiayun Wu, Jiri Gesi, Ximing Lu, David Acuna, Kaiyu Yang, Hongzhou Lin, Yejin Choi, Danqi Chen, Sanjeev Arora, Chi Jin
- ICLR 2026 Poster
- Readers: Everyone
Diversity-aware Training for Test-time Scaling
Bohan Lyu, Qixin Xu, Zihan Zhu, Yesai Wu, Zhong Zhang, Haotian Chen, Xin Cong, Xiaojiang Liu, Zhiyuan Liu, Maosong Sun
- Submitted to ICLR 2026
- Readers: Everyone
Demystify the Potential of Large Language Models as World Models of Code
Bohan Lyu, Siqiao Huang, Zichen Liang, Wenjia Yang, Qian Sun, Jiaming Zhang
- LAW
- Readers: Everyone
Demystify the Potential of Large Language Models as General-Purpose Surrogate Code Executors
Bohan Lyu, Siqiao Huang, Zichen Liang, Wenjia Yang, Qian Sun, Jiaming Zhang
- NeurIPS 2025 LLM Evaluation Workshop Poster
- Readers: Everyone
Demystify the Potential of Large Language Models as General-Purpose Surrogate Code Executors
Bohan Lyu, Siqiao Huang, Zichen Liang, Wenjia Yang, Qian Sun, Jiaming Zhang
- DL4C @ NeurIPS 2025 Poster
- Readers: Everyone
Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving of Inequalities
Haoyu Zhao, Yihan Geng, Shange Tang, Yong Lin, Bohan Lyu, Hongzhou Lin, Chi Jin, Sanjeev Arora
- NeurIPS 2025 Datasets and Benchmarks Track poster
- Readers: Everyone
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
Yong Lin, Shange Tang, Bohan Lyu, Jiayun Wu, Hongzhou Lin, Kaiyu Yang, Jia LI, Mengzhou Xia, Danqi Chen, Sanjeev Arora, Chi Jin
- COLM 2025
- Readers: Everyone
Adapting While Learning: Grounding LLMs for Scientific Problems with Tool Usage Adaptation
Bohan Lyu, Yadi Cao, Duncan Watson-Parris, Leon Bergen, Taylor Berg-Kirkpatrick, Rose Yu
- ICML 2025 poster
- Readers: Everyone
Exploring Diffusion Models' Corruption Stage in Few-Shot Fine-tuning and Mitigating with Bayesian Neural Networks
Xiaoyu Wu, Jiaru Zhang, Yang Hua, Bohan Lyu, Hao Wang, Tao Song, Haibing Guan
- Submitted to ICLR 2025
- Readers: Everyone
MEGA-Bench: Scaling Multimodal Evaluation to over 500 Real-World Tasks
Jiacheng Chen, Tianhao Liang, Sherman Siu, Zhengqing Wang, Kai Wang, Yubo Wang, Yuansheng Ni, Ziyan Jiang, Wang Zhu, Bohan Lyu, Dongfu Jiang, Xuan He, Yuan Liu, Hexiang Hu, Xiang Yue, Wenhu Chen
- ICLR 2025 Poster
- Readers: Everyone

Co-Authors

View all 61 co-authors