by Bohan Lyu Papers
4 papers found
Conference
Adapting While Learning: Grounding LLMs for Scientific Problems with Tool Usage Adaptation
Bohan Lyu, Yadi Cao, Duncan Watson-Parris et al.
ICML 2025
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
Yong Lin, Shange Tang, Bohan Lyu et al.
COLM 2025paperarXiv:2502.07640
82
citations
Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving of Inequalities
Haoyu Zhao, Yihan Geng, Shange Tang et al.
NEURIPS 2025arXiv:2505.12680
6
citations
MEGA-Bench: Scaling Multimodal Evaluation to over 500 Real-World Tasks
Jiacheng Chen, Tianhao Liang, Sherman Siu et al.
ICLR 2025arXiv:2410.10563
30
citations