| 2026 | ACL | SAIR-Comb : A Structure-Aware Iterative Refinement Framework for Combinatorics Autoformalization. | Weijie Jiang, Gaolei He, Beibei Xiong, Jianlin Wang, Zhengfeng Yang |
| 2025 | ACL | QDTSynth: Quality-Driven Formal Theorem Synthesis for Enhancing Proving Performance of LLMs. | Lei Wang, Ruobing Zuo, Gaolei He, Jianlin Wang, Zhengfeng Yang |
| 2025 | MICCAI | DSNT-DeepUNet: A Coordinate Prediction Method for Intrapartum Ultrasound. | Zi Yang, Qingchen Liu, Yuchen Hu, Jingfan Kuang, Shanglin Song, Jianlin Wang |
| 2022 | ICPR | Robust Training with Feature-Based Adversarial Example. | Xuanming Fu, Zhengfeng Yang, Hao Xue, Jianlin Wang, Zhenbing Zeng |
| 2022 | TASE | Improving Adversarial Robustness of Deep Neural Networks via Linear Programming. | Xiaochao Tang, Zhengfeng Yang, Xuanming Fu, Jianlin Wang, Zhenbing Zeng |
| 2020 | TASE | A Formal Proof of the Soundness of the Hybrid CPS Clock Theory. | Jianlin Wang, Chao Peng, Zhenbing Zeng |
| 2019 | TASE | Multi-Agent Automated Reasoning Toward Machine Self-Awareness: A Case Study. | Zhenbing Zeng, Jianlin Wang, Zhengfeng Yang |
| 2006 | IGARSS | Study on Regional Distribution of Surface Heat and Radiation Balance Components over South Ningxia. | Jianmao Guo, Jianyun Gao, Weisong Lu, Baogui Bi, Guoping Zhang, Jianlin Wang |