Scholar
Zhenwen Liang
Google Scholar ID: 4rKhF2AAAAAJ
Tencent AI Lab@Seattle, USA
Citations & Impact
Citations
1,390
H-index
21
i10-index
29
Publications
20
Co-authors
14
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Paper 'MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation' accepted to NeurIPS 2025.
- First-author paper accepted by ACL 2024.
- First-author paper accepted by LREC-COLING 2024.
- Two first-author papers accepted by EMNLP 2023.
- Proposed CLUE: a training-free, non-parametric verifier for LLM reasoning (Oct 2025).
- Developed MPS-Prover, the state-of-the-art step prover in formal theorem proving (May 2025).
- Co-organized the 3rd MATH-AI Workshop on Mathematical Reasoning and AI at NeurIPS 2023.
- Co-organized the tutorial 'Deep Learning in Mathematical Reasoning: Recent Advances and Beyond' at IJCAI-23.
