ActFormer: Scalable Collaborative Perception via Active Queries. - Suozhi Huang; Juexiao Zhang; Yiming Li 003; Chen Feng 002 (ICRA, 2024)

InternLM2.5-StepProver: Advancing Automated Theorem Proving via Expert Iteration on Large-Scale LEAN Problems. - Zijian Wu 002; Suozhi Huang; Zhejian Zhou; Huaiyuan Ying; Jiayu Wang; Dahua Lin; Kai Chen 026 (CoRR, 2024)

LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction. - Suozhi Huang; Peiyang Song 002; Robert Joseph George; Anima Anandkumar (CoRR, 2025)

Gated Attention for Large Language Models: Non-linearity, Sparsity, and Attention-Sink-Free. - Zihan Qiu; Zekun Wang; Bo Zheng 007; Zeyu Huang; Kaiyue Wen; Songlin Yang; Rui Men; Le Yu; Fei Huang; Suozhi Huang; Dayiheng Liu; Jingren Zhou 001; et al. (CoRR, 2025)