Improved design of front intake system of three-way catalytic converter. - Guangming Li; Congrui Zuo; Qike Huang; Yu Li (ICAIIS, 2021)

FormalGeo: The First Step Toward Human-like IMO-level Geometric Automated Reasoning. - Xiaokai Zhang; Na Zhu; Yiming He; Jia Zou 004; Qike Huang; Xiaoxiao Jin; Yanjun Guo; Chenyang Mao; Zhe Zhu; Dengfeng Yue; Fangzhen Zhu; Yang Li 151; et al. (CoRR, 2023)