| 2026 | FM | Array-Carrying Symbolic Execution for Function Contract Generation. | Weijie Lu, Jingyu Ke, Hongfei Fu, Zhouyue Sun, Yi Zhou, Guoqiang Li, Haokun Li |
| 2025 | ACL | From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs. | Jialun Cao, Yaojie Lu, Meiziniu Li, Haoyang Ma, Haokun Li, Mengda He, Cheng Wen, Le Sun, Hongyu Zhang, Shengchao Qin, Shing-Chi Cheung, Cong Tian |
| 2025 | ICML | Core Context Aware Transformers for Long Context Language Modeling. | Yaofo Chen, Zeng You, Shuhai Zhang, Haokun Li, Yirui Li, Yaowei Wang, Mingkui Tan |
| 2025 | MICCAI | Guiding Quantitative MRI Reconstruction with Phase-Wise Uncertainty. | Haozhong Sun, Zhongsen Li, Chenlin Du, Haokun Li, Yajie Wang, Huijun Chen |
| 2024 | CAV | Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification. | Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian |
| 2023 | CAV | Local Search for Solving Satisfiability of Polynomial Formulas. | Haokun Li, Bican Xia, Tianqi Zhao |
| 2022 | AAAI | Towards Accurate Facial Motion Retargeting with Identity-Consistent and Expression-Exclusive Constraints. | Langyuan Mo, Haokun Li, Chaoyang Zou, Yubing Zhang, Ming Yang, Yihong Yang, Mingkui Tan |
| 2022 | ICDCS | Downscaling and Overflow-aware Model Compression for Efficient Vision Processors. | Haokun Li, Jing Liu, Liancheng Jia, Yun Liang, Yaowei Wang, Mingkui Tan |
| 2021 | ISSAC | Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure. | Haokun Li, Bican Xia, Huiying Zhang, Tao Zheng |
| 2020 | ECCV | Generative Low-Bitwidth Data Free Quantization. | Shoukai Xu, Haokun Li, Bohan Zhuang, Jing Liu, Jiezhang Cao, Chuangrun Liang, Mingkui Tan |
| 2019 | ISSAC | A New Sparse SOS Decomposition Algorithm Based on Term Sparsity. | Jie Wang, Haokun Li, Bican Xia |
| 2018 | CAV | Monitoring CTMCs by Multi-clock Timed Automata. | Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan |