Scholar
Bohan Lyu
Google Scholar ID: vMMFoTsAAAAJ
Undergraduate, Tsinghua University
Machine Learning
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
85
H-index
4
i10-index
1
Publications
6
Co-authors
11
list available
Publications
10 items
Scalable Behaviour Cloning on Browser Using via Skill Distillation
2026
Cited
0
HERO: Hindsight-Enhanced Reflection from Environment Observations for Agentic Self-Distillation
2026
Cited
0
MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI
2026
Cited
0
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
Load more
Co-authors
11 total
Danqi Chen
Princeton University
Chi Jin
Assistant Professor, Princeton University
Yong Lin
Princeton University
Kaiyu Yang
Meta FAIR
Sanjeev Arora
Professor of Computer Science, Princeton University
Zhiyuan Liu
Associate Professor, Tsinghua University
Maosong Sun
Professor of Computer Science and Technology, Tsinghua University
Yadi Cao
University of California San Diego
