Suozhi Huang

PhD student, ECE, Princeton University

Joined

September 2024

Names

Suozhi Huang (Preferred)

,

Huang Suozhi

Emails

****@mails.tsinghua.edu.cn (Confirmed)

,

****@gmail.com (Confirmed)

,

****@princeton.edu (Confirmed)

Personal Links

Career & Education History

PhD student

ECE, Princeton University (princeton.edu)

2025 – 2030

Undergrad student

IIIS, Tsinghua University, Tsinghua University (mails.tsinghua.edu.cn)

2020 – 2025

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction
Robert Joseph George, Suozhi Huang, Peiyang Song, Anima Anandkumar
- Accepted by TMLR
- Readers: Everyone
InternLM2.5-StepProver: Advancing Automated Theorem Proving via Critic-Guided Search
Zijian Wu, Suozhi Huang, Zhejian Zhou, Huaiyuan Ying, Zheng Yuan, Wenwei Zhang, Dahua Lin, Kai Chen
- AI4Math@ICML25 Poster
- Readers: Everyone
Gated Attention for Large Language Models: Non-linearity, Sparsity, and Attention-Sink-Free
Zihan Qiu, Zekun Wang, Bo Zheng, Zeyu Huang, Kaiyue Wen, Songlin Yang, Rui Men, Le Yu, Fei Huang, Suozhi Huang, Dayiheng Liu, Jingren Zhou, Junyang Lin
- NeurIPS 2025 oral
- Readers: Everyone
LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction
Suozhi Huang, Peiyang Song, Robert Joseph George, Anima Anandkumar
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone

Co-Authors