Bohan Lyu

Identifiers

• name variant Bohan Lyu 0.60 · backfill

Papers (3)

1. MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI cs.LG · 2026 · author #1
2. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction cs.LG · 2025 · author #3
3. SURGE: On the Potential of Large Language Models as General-Purpose Surrogate Code Executors cs.LG · 2025 · author #1

Mentions

• 2605.08678 #1 · arxiv_oai · confidence 0.70 Bohan Lyu
• 2502.11167 #1 · arxiv_oai · confidence 0.70 Bohan Lyu
• 2508.03613 #3 · arxiv_oai · confidence 0.70 Bohan Lyu

Frequent Coauthors

• Chi Jin 2 shared papers
• Shange Tang 2 shared papers
• Siqiao Huang 2 shared papers
• Ziran Yang 2 shared papers
• Chengshuai Shi 1 shared papers
• Danqi Chen 1 shared papers
• Dapeng Jiang 1 shared papers
• David Acuna 1 shared papers
• Dawn Song 1 shared papers
• Haoyu Zhao 1 shared papers
• Hongzhou Lin 1 shared papers
• Huan-ang Gao 1 shared papers
• Huaqing Zhang 1 shared papers
• Jiantao Jiao 1 shared papers
• Jiaru Zhang 1 shared papers
• Jiawei Ge 1 shared papers
• Jiayun Wu 1 shared papers
• Jingruo Sun 1 shared papers
• Jiri Gesi 1 shared papers
• Jui-Hui Chung 1 shared papers