Scholar
Bohan Wang
Google Scholar ID: LfkHCEUAAAAJ
Joint Ph.D. Student, University of Science and Technology of China and Microsoft Research Aisa
Citations & Impact
Citations
469
H-index
13
i10-index
14
Publications
20
Co-authors
8
list available
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- Published multiple papers at NeurIPS 2023, KDD 2024, COLT 2023, ICLR 2023, Neurips 2022, etc.; Invited to give a talk at KAUST Rising Stars in AI Symposium 2024; Contributed to the development of Seed Prover, which will participate in IMO 2025.
Research Experience
- Conducted research at USTC and MSRA; Interned at Bytedance AI Lab; Visited Prof. Ruoyu Sun at The Chinese University of Hong Kong (Shenzhen).
Education
- Ph.D. student in the joint Ph.D. program of USTC and Microsoft Research Asia, advised by Prof. Wei Chen and Prof. Zhi-Ming Ma, and closely working with Dr. Qi Meng, Dr. Huishuai Zhang, and Prof. Ruoyu Sun.
Background
- Research Interests: The intersection of deep learning and mathematics, specifically optimization for deep learning and enhancing language models using formal verifiers (such as Lean 4). Professional Field: Machine Learning, Optimization Algorithms.
