?
today
local_bar
search
Zhenwen Liang
Researcher, Tencent AI Lab
1 paper at NeurIPS 2025
Homepage
·
OpenReview
·
Semantic Scholar
·
Google Scholar
Poster Session 2
1 paper
Wednesday, December 3, 2025 · 4:30 PM → 7:30 PM
Exhibit Hall C,D,E
MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation
star
#5401
·
Zhenwen Liang, Linfeng Song, Yang Li, TAO YANG, Haitao Mi, Dong Yu
