Bohan Lyu - RankMe

15 papers A* 4Journal 9Unranked 2

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Exploring Diffusion Models' Corruption Stage in Few-Shot Fine-tuning and Mitigating with Bayesian Neural Networks. KDD (1) Xiaoyu Wu, Jiaru Zhang, Yang Hua, Bohan Lyu, Hao Wang, Tao Song, Haibing Guan
2025	A*	`conf`	Adapting While Learning: Grounding LLMs for Scientific Problems with Tool Usage Adaptation. ICML Bohan Lyu, Yadi Cao, Duncan Watson-Parris, Leon Bergen, Taylor Berg-Kirkpatrick, Rose Yu
2025	—	`conf`	Enhancing Open-Domain Task-Solving Capability of LLMs via Autonomous Tool Integration from GitHub. ACL (1) Bohan Lyu, Xin Cong, Heyang Yu, Pan Yang, Cheng Qian, Zihe Wang, Yujia Qin, Yining Ye, Yaxi Lu, Chen Qian, Zhong Zhang, Yukun Yan, Yankai Lin, Zhiyuan Liu, Maosong Sun
2025	J	`jnl`	Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction. CoRR 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
2025	J	`jnl`	Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving. CoRR Yong Lin, Shange Tang, Bohan Lyu, Jiayun Wu, Hongzhou Lin, Kaiyu Yang, Jia Li, Mengzhou Xia, Danqi Chen, Sanjeev Arora, Chi Jin
2025	J	`jnl`	Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities. CoRR Haoyu Zhao, Yihan Geng, Shange Tang, Yong Lin, Bohan Lyu, Hongzhou Lin, Chi Jin, Sanjeev Arora
2025	A*	`conf`	MEGA-Bench: Scaling Multimodal Evaluation to over 500 Real-World Tasks. ICLR 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
2025	J	`jnl`	SURGE: On the Potential of Large Language Models as General-Purpose Surrogate Code Executors. CoRR Bohan Lyu, Siqiao Huang, Zichen Liang
2025	A*	`conf`	Surge: On the Potential of Large Language Models as General-Purpose Surrogate Code Executors. EMNLP Bohan Lyu, Siqiao Huang, Zichen Liang, Qian Sun, Jiaming Zhang
2024	J	`jnl`	Adapting While Learning: Grounding LLMs for Scientific Problems with Intelligent Tool Usage Adaptation. CoRR Bohan Lyu, Yadi Cao, Duncan Watson-Parris, Leon Bergen, Taylor Berg-Kirkpatrick, Rose Yu
2024	J	`jnl`	Exploring Diffusion Models' Corruption Stage in Few-Shot Fine-tuning and Mitigating with Bayesian Neural Networks. CoRR Xiaoyu Wu, Jiaru Zhang, Yang Hua, Bohan Lyu, Hao Wang, Tao Song, Haibing Guan
2024	J	`jnl`	MEGA-Bench: Scaling Multimodal Evaluation to over 500 Real-World Tasks. CoRR Jiacheng Chen, Tianhao Liang, Sherman Siu, Zhengqing Wang, Kai Wang, Yubo Wang, Yuansheng Ni, Wang Zhu, Ziyan Jiang, Bohan Lyu, Dongfu Jiang, Xuan He, Yuan Liu, Hexiang Hu, Xiang Yue, Wenhu Chen
2024	A*	`conf`	VideoScore: Building Automatic Metrics to Simulate Fine-grained Human Feedback for Video Generation. EMNLP Xuan He, Dongfu Jiang, Ge Zhang, Max Ku, Achint Soni, Sherman Siu, Haonan Chen, Abhranil Chandra, Ziyan Jiang, Aaran Arulraj, Kai Wang, Quy Duc Do, Yuansheng Ni, Bohan Lyu, Yaswanth Narsupalli, Rongqi Fan, Zhiheng Lyu, Bill Yuchen Lin, Wenhu Chen
2024	J	`jnl`	VideoScore: Building Automatic Metrics to Simulate Fine-grained Human Feedback for Video Generation. CoRR Xuan He, Dongfu Jiang, Ge Zhang, Max Ku, Achint Soni, Sherman Siu, Haonan Chen, Abhranil Chandra, Ziyan Jiang, Aaran Arulraj, Kai Wang, Quy Duc Do, Yuansheng Ni, Bohan Lyu, Yaswanth Narsupalli, Rongqi Fan, Zhiheng Lyu, Yuchen Lin, Wenhu Chen
2023	J	`jnl`	GitAgent: Facilitating Autonomous Agent with GitHub by Tool Extension. CoRR Bohan Lyu, Xin Cong, Heyang Yu, Pan Yang, Yujia Qin, Yining Ye, Yaxi Lu, Zhong Zhang, Yukun Yan, Yankai Lin, Zhiyuan Liu, Maosong Sun