Suozhi Huang

According to our database, Suozhi Huang authored at least 2 papers in 2024.

Collaborative distances:

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

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