Suozhi Huang

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

Collaborative distances:

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

2025

CryptoBench: A Dynamic Benchmark for Expert-Level Evaluation of LLM Agents in Cryptocurrency.

Jiacheng Guo, Suozhi Huang, Zixin Yao, Yifan Zhang, Yifu Lu, Jiashuo Liu, Zihao Li, Nicholas Deng, Qixin Xiao, Jia Tian, Kanghong Zhan, Tianyi Li, Xiaochen Liu, Jason Ge, Chaoyang He, Kaixuan Huang, Lin Yang, Wenhao Huang, Mengdi Wang

CoRR, December, 2025

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

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

Trans. Mach. Learn. Res., 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

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2025, 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