Bohan Lyu
Scholar

Bohan Lyu

Google Scholar ID: vMMFoTsAAAAJ
Undergraduate, Tsinghua University
Machine Learning
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
85
 
H-index
4
 
i10-index
1
 
Publications
6
 
Co-authors
11
list available
Contact
No contact links provided.
Publications
7 items
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
2025
Cited
0
Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities
2025
Cited
0
SURGE: On the Potential of Large Language Models as General-Purpose Surrogate Code Executors
2025
Cited
0
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
2025
Cited
0
Adapting While Learning: Grounding LLMs for Scientific Problems with Intelligent Tool Usage Adaptation
arXiv.org · 2024
Cited
1
MEGA-Bench: Scaling Multimodal Evaluation to over 500 Real-World Tasks
arXiv.org · 2024
Cited
14
GitAgent: Facilitating Autonomous Agent with GitHub by Tool Extension
arXiv.org · 2023
Cited
5
Resume (English only)
Miscellany
  • Please visit bohanlyu.com for more information.
Co-authors
11 total
Danqi Chen
Danqi Chen
Princeton University
Chi Jin
Chi Jin
Assistant Professor, Princeton University
Yong Lin
Yong Lin
Princeton University
Kaiyu Yang
Kaiyu Yang
Meta FAIR
Sanjeev Arora
Sanjeev Arora
Professor of Computer Science, Princeton University
Zhiyuan Liu
Zhiyuan Liu
Associate Professor, Tsinghua University
Maosong Sun
Maosong Sun
Professor of Computer Science and Technology, Tsinghua University
Yadi Cao
Yadi Cao
University of California San Diego