Haokun Li

According to our database, Haokun Li authored at least 20 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., August, 2024

Isolating all the real roots of a mixed trigonometric-polynomial.

Rizeng Chen, Haokun Li, Bican Xia, Tianqi Zhao, Tao Zheng

J. Symb. Comput., March, 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

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, Na Yu, Haokun Li, Xinyu Chen, Yingzhuang Chen, Yi Zhen, Dejun Dong, Xianjin Fu, Jinzhou Su, Fuxiong Pan, Pengshuai Luo, Youzheng Feng, Ruoxiang Hu, Jing Fan, Jinguo Zhou, Xiao Xiao, Peng Di

CoRR, 2024

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

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Square-Free Pure Triangular Decomposition of Zero-Dimensional Polynomial Systems.

Haokun Li, Bican Xia, Tianqi Zhao

J. Syst. Sci. Complex., December, 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

Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial.

Rizeng Chen, Haokun Li, Bican Xia, Tianqi Zhao, Tao Zheng

CoRR, 2023

A Generalized Extended MIMO Array Design Strategy for DOA Estimation.

Sijie Wang, Shiwei Ren, Haokun Li, Xiangnan Li

Proceedings of the IEEE International Conference on Signal Processing, 2023

Local Search for Solving Satisfiability of Polynomial Formulas.

Haokun Li, Bican Xia, Tianqi Zhao

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Boost Test-Time Performance with Closed-Loop Inference.

Shuaicheng Niu, Jiaxiang Wu, Yifan Zhang, Guanghui Xu, Haokun Li, Peilin Zhao, Junzhou Huang, Yaowei Wang, Mingkui Tan

CoRR, 2022

Square-free Strong Triangular Decomposition of Zero-dimensional Polynomial Systems.

Haokun Li, Bican Xia, Tianqi Zhao

CoRR, 2022

Downscaling and Overflow-aware Model Compression for Efficient Vision Processors.

Haokun Li, Jing Liu, Liancheng Jia, Yun Liang, Yaowei Wang, Mingkui Tan

Proceedings of the 42nd IEEE International Conference on Distributed Computing Systems, 2022

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

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure.

Haokun Li, Bican Xia, Huiying Zhang, Tao Zheng

Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021

2020

Solving Satisfiability of Polynomial Formulas By Sample-Cell Projection.

Haokun Li, Bican Xia

CoRR, 2020

Generative Low-Bitwidth Data Free Quantization.

Shoukai Xu, Haokun Li, Bohan Zhuang, Jing Liu, Jiezhang Cao, Chuangrun Liang, Mingkui Tan

Proceedings of the Computer Vision - ECCV 2020, 2020

2019

A New Sparse SOS Decomposition Algorithm Based on Term Sparsity.

Jie Wang, Haokun Li, Bican Xia

Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019

2018

Block SOS Decomposition.

Haokun Li, Bican Xia

CoRR, 2018

Monitoring CTMCs by Multi-clock Timed Automata.

Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan

Proceedings of the Computer Aided Verification - 30th International Conference, 2018