Haiming Wang
Scholar

Haiming Wang

Google Scholar ID: O-3ZwYwAAAAJ
Professor at the School of Information Science and Engineering, Southeast University
Antenna & Radio FrequencyRadio PropagationNonlinear Wireless Communications
Google Scholar↗
Citations & Impact
All-time
Citations
9,955
 
H-index
41
 
i10-index
77
 
Publications
20
 
Co-authors
25
list available
Contact
No contact links provided.
Publications
5 items
Kimi Linear: An Expressive, Efficient Attention Architecture
2025
Cited
0
LeanGeo: Formalizing Competitional Geometry problems in Lean
2025
Cited
0
CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics
2025
Cited
0
Kimina Lean Server: Technical Report
2025
Cited
1
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
2025
Cited
0
Resume (English only)
Co-authors
25 total
Co-author 1
Co-author 1
Xiaohu You
Xiaohu You
东南大学信息通信教授
Yongming Huang
Yongming Huang
Professor of Information and Communications Engineering, Southeast University, China
Xiqi Gao
Xiqi Gao
Professor of Communications and Signal Processing, Southeast University, Nanjing 210096, China
Co-author 5
Co-author 5
Cheng-Xiang Wang, MAE, MEASA, FRSE, FIEEE, FIET
Cheng-Xiang Wang, MAE, MEASA, FRSE, FIEEE, FIET
Professor of Wireless Communications, Southeast University
Co-author 7
Co-author 7
Co-author 8
Co-author 8