Publications

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

Gao YuChen, Yuan YuHang, Huang Suozhi, Yao Nan, Yu Legeng, Chen YaoPeng, Zhang Qiang, Chen Xiang (2024). A Knowledge–Data Dual‐Driven Framework for Predicting the Molecular Properties of Rechargeable Battery Electrolytes. In Angewandte Chemie.

Suozhi Huang*, Juexiao Zhang, Yiming Li, Chen Feng (2024). ActFormer: Scalable Collaborative Perception via Active Queries. In ICRA 2024.