About
I am a research intern at NTU, advised by Prof. Yang Liu. Previously, I was a research intern at UIUC, working with Prof. Tong Zhang, and a visiting student at Rutgers University (2024-2025), advised by Prof. Hao Wang. I obtained my B.S. in Electronic Information Engineering from Wuhan University.
My research focuses on multimodal learning, world models, and embodied AI, with an emphasis on building AI systems that reason over visual, physical, and temporal structure to interact with the real world.
Selected Publications
View All →Generalizable Geometric Image Caption Synthesis
Yue Xin†, Wenyuan Wang†, Rui Pan, Ruida Wang, Howard Meng, Renjie Pi, Shizhe Diao, Tong Zhang
ICLR under review
Integrated symbolic reasoning with neural-guided heuristics for geometric problem-solving and image generation
Probabilistic Residual User Clustering
Wenyuan Wang, Yusong Zhao, Zihao Xu, Hengyi Wang, Shreya Venugopal, Desmond Lobo, Chengzhi Mao, Qi Xu, Zhigang Hua, Yan Xie, Bo Long, Shuang Yang, Hao Wang
TMLR under review
A causal Bayesian framework that clusters users and models residuals to enhance recommendation accuracy
PhysProver: Advancing Automatic Theorem Proving for Physics
Hanning Zhang†, Ruida Wang†, Rui Pan†, Wenyuan Wang†, BingXu Meng, Tong Zhang
ACL 2026
Curated dataset of 3,122 training examples from PhysLean library and proposed evaluation framework using Lean server verification for physics theorem proving