Huang, Suozhi

3 publications

NeurIPS 2025 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

TMLR 2025 LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction Robert Joseph George, Suozhi Huang, Peiyang Song, Anima Anandkumar

ICLRW 2025 LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction Suozhi Huang, Peiyang Song, Robert Joseph George, Anima Anandkumar