Monitoring CTMCs by Multi-clock Timed Automata. - Yijun Feng; Joost-Pieter Katoen; Haokun Li; Bican Xia; Naijun Zhan (CAV (1), 2018)

Block SOS Decomposition. - Haokun Li; Bican Xia (CoRR, 2018)

A New Sparse SOS Decomposition Algorithm Based on Term Sparsity. - Jie Wang 037; Haokun Li; Bican Xia (ISSAC, 2019)

Generative Low-Bitwidth Data Free Quantization. - Shoukai Xu; Haokun Li; Bohan Zhuang; Jing Liu 048; Jiezhang Cao; Chuangrun Liang; Mingkui Tan (ECCV (12), 2020)

Solving Satisfiability of Polynomial Formulas By Sample-Cell Projection. - Haokun Li; Bican Xia (CoRR, 2020)

Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure. - Haokun Li; Bican Xia; Huiying Zhang; Tao Zheng (ISSAC, 2021)

Towards Accurate Facial Motion Retargeting with Identity-Consistent and Expression-Exclusive Constraints. - Langyuan Mo; Haokun Li; Chaoyang Zou; Yubing Zhang; Ming Yang 039; Yihong Yang; Mingkui Tan (AAAI, 2022)

Downscaling and Overflow-aware Model Compression for Efficient Vision Processors. - Haokun Li; Jing Liu 048; Liancheng Jia; Yun Liang 001; Yaowei Wang 001; Mingkui Tan (ICDCS Workshops, 2022)

Square-free Strong Triangular Decomposition of Zero-dimensional Polynomial Systems. - Haokun Li; Bican Xia; Tianqi Zhao (CoRR, 2022)

Boost Test-Time Performance with Closed-Loop Inference. - Shuaicheng Niu; Jiaxiang Wu 001; Yifan Zhang 004; Guanghui Xu 002; Haokun Li; Peilin Zhao; Junzhou Huang; Yaowei Wang 001; Mingkui Tan (CoRR, 2022)

Local Search for Solving Satisfiability of Polynomial Formulas. - Haokun Li; Bican Xia; Tianqi Zhao (CAV (2), 2023)

A Generalized Extended MIMO Array Design Strategy for DOA Estimation. - Sijie Wang; Shiwei Ren; Haokun Li; Xiangnan Li (ICSPCC, 2023)

Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial. - Rizeng Chen; Haokun Li; Bican Xia; Tianqi Zhao; Tao Zheng (CoRR, 2023)

Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure. - Haokun Li; Bican Xia; Huiying Zhang; Tao Zheng (J. Symb. Comput., 2023)

Square-Free Pure Triangular Decomposition of Zero-Dimensional Polynomial Systems. - Haokun Li; Bican Xia; Tianqi Zhao (J. Syst. Sci. Complex., 2023)

Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification. - Cheng Wen 002; Jialun Cao; Jie Su 002; Zhiwu Xu 001; Shengchao Qin; Mengda He; Haokun Li; Shing-Chi Cheung; Cong Tian (CAV (2), 2024)

A Joint encryption system based on McEliece and RLWE. - Zixuan Yao; Deyuan Chen; Shaoshuai Gao; Can Zhang; Haokun Li (ICCT, 2024)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations. - Xiaoheng Xie; Gang Fan; Xiaojun Lin; Ang Zhou; Shijie Li; Xunjin Zheng; Yinan Liang; Yu Zhang 036; Na Yu; Haokun Li; Xinyu Chen; Yingzhuang Chen; et al. (CoRR, 2024)

M2DA: Multi-Modal Fusion Transformer Incorporating Driver Attention for Autonomous Driving. - Dongyang Xu; Haokun Li; Qingfan Wang; Ziying Song; Lei Chen; Hanming Deng (CoRR, 2024)

Core Context Aware Attention for Long Context Language Modeling. - Yaofo Chen; Zeng You; Shuhai Zhang; Haokun Li; Yirui Li; Yaowei Wang 001; Mingkui Tan (CoRR, 2024)

Isolating all the real roots of a mixed trigonometric-polynomial. - Rizeng Chen; Haokun Li; Bican Xia; Tianqi Zhao; Tao Zheng (J. Symb. Comput., 2024)

DRL-based computing offloading approach for large-scale heterogeneous tasks in mobile edge computing. - Bingkun He; Haokun Li; Tong Chen (Concurr. Comput. Pract. Exp., 2024)

From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs. - Jialun Cao; Yaojie Lu 001; Meiziniu Li; Haoyang Ma; Haokun Li; Mengda He; Cheng Wen 002; Le Sun 001; Hongyu Zhang 002; Shengchao Qin; Shing-Chi Cheung; Cong Tian (ACL (1), 2025)

Digital twin structural health monitoring driven by multi-fidelity time-series surrogate models. - Lingkang Li; Haokun Li; Ru Wang 003; Yulin Liu; Guoxin Wang 001; Yan Yan 008 (J. Ind. Inf. Integr., 2025)

Guiding Quantitative MRI Reconstruction with Phase-wise Uncertainty. - Haozhong Sun; Zhongsen Li; Chenlin Du; Haokun Li; Yajie Wang; Huijun Chen (CoRR, 2025)

A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD. - Tianyi Ding; Haokun Li; Xinpeng Ni; Bican Xia; Tianqi Zhao (CoRR, 2025)

Preguss: It Analyzes, It Specifies, It Verifies. - Zhongyi Wang 004; Tengjie Lin; Mingshuai Chen; Mingqi Yang; Haokun Li; Xiao Yi; Shengchao Qin; Jianwei Yin (CoRR, 2025)