Suozhi Huang

According to our database, Suozhi Huang authored at least 4 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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

CoRR, May, 2025

LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction.

Suozhi Huang, Peiyang Song, Robert Joseph George, Anima Anandkumar

CoRR, February, 2025

2024

InternLM2.5-StepProver: Advancing Automated Theorem Proving via Expert Iteration on Large-Scale LEAN Problems.

Zijian Wu, Suozhi Huang, Zhejian Zhou, Huaiyuan Ying, Jiayu Wang, Dahua Lin, Kai Chen

CoRR, 2024

ActFormer: Scalable Collaborative Perception via Active Queries.

Suozhi Huang, Juexiao Zhang, Yiming Li, Chen Feng

Proceedings of the IEEE International Conference on Robotics and Automation, 2024