Bohan Lyu
- Papers
- 8
Cite
Notes
Only stored in your browser.
Authored papers
8MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI
arXiv 2026
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
arXiv 2025
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
arXiv 2025
Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities
arXiv 2025
SURGE: On the Potential of Large Language Models as General-Purpose Surrogate Code Executors
arXiv 2025
MEGA-Bench: Scaling Multimodal Evaluation to over 500 Real-World Tasks
arXiv 2024
Adapting While Learning: Grounding LLMs for Scientific Problems with Intelligent Tool Usage Adaptation
arXiv 2024
Enhancing Open-Domain Task-Solving Capability of LLMs via Autonomous Tool Integration from GitHub
arXiv 2023
Affiliations
Frequent co-authors
10from 8 papers