Wei Wang
Scholar

Wei Wang

Google Scholar ID: k4SdlbcAAAAJ
Beijing Jiaotong University, University of Trento, EPFL
Computer VisionAugmented RealityMachine Learning
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,393
 
H-index
31
 
i10-index
51
 
Publications
20
 
Co-authors
12
list available
Contact
No contact links provided.
Publications
1 items
FormalEvolve: Neuro-Symbolic Evolutionary Search for Diverse and Prover-Effective Autoformalization
2026
Cited
0
Resume (English only)
Co-authors
12 total
Nicu Sebe
Nicu Sebe
University of Trento
Yan Yan
Yan Yan
University of Illinois Chicago
Hao Tang
Hao Tang
Peking University | CMU | ETH Zurich | University of Oxford | University of Trento | NEU | IIAI
Dan Xu
Dan Xu
Assistant Professor, CSE, HKUST - VGG, University of Oxford
Pascal Fua
Pascal Fua
Professor Computer Science, EPFL
Mathieu Salzmann
Mathieu Salzmann
EPFL
Shuicheng Yan, Fellow of AAAI, ACM, SAEng, IEEE, IAPR | Hunting Robotics and Cuda Researchers
Shuicheng Yan, Fellow of AAAI, ACM, SAEng, IEEE, IAPR | Hunting Robotics and Cuda Researchers
Professor@National University of Singapore | Looking for lab members targeting beyond papers
Jiashi Feng
Jiashi Feng
ByteDance Inc.