default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHaokun Li
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[i13]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:
From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs. CoRR abs/2501.16207 (2025)- 2024
- [j4]Bingkun He
, Haokun Li, Tong Chen:
DRL-based computing offloading approach for large-scale heterogeneous tasks in mobile edge computing. Concurr. Comput. Pract. Exp. 36(19) (2024) - [j3]Rizeng Chen, Haokun Li, Bican Xia, Tianqi Zhao, Tao Zheng:
Isolating all the real roots of a mixed trigonometric-polynomial. J. Symb. Comput. 121: 102250 (2024) - [c9]Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian:
Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification. CAV (2) 2024: 302-328 - [i12]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:
CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations. CoRR abs/2401.01571 (2024) - [i11]Dongyang Xu, Haokun Li, Qingfan Wang, Ziying Song, Lei Chen, Hanming Deng:
M2DA: Multi-Modal Fusion Transformer Incorporating Driver Attention for Autonomous Driving. CoRR abs/2403.12552 (2024) - [i10]Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian:
Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification. CoRR abs/2404.00762 (2024) - [i9]Yaofo Chen, Zeng You, Shuhai Zhang, Haokun Li, Yirui Li, Yaowei Wang, Mingkui Tan:
Core Context Aware Attention for Long Context Language Modeling. CoRR abs/2412.12465 (2024) - 2023
- [j2]Haokun Li, Bican Xia, Tianqi Zhao:
Square-Free Pure Triangular Decomposition of Zero-Dimensional Polynomial Systems. J. Syst. Sci. Complex. 36(6): 2661-2680 (2023) - [j1]Haokun Li, Bican Xia, Huiying Zhang, Tao Zheng:
Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure. J. Symb. Comput. 116: 324-344 (2023) - [c8]Haokun Li, Bican Xia, Tianqi Zhao:
Local Search for Solving Satisfiability of Polynomial Formulas. CAV (2) 2023: 87-109 - [c7]Sijie Wang, Shiwei Ren, Haokun Li, Xiangnan Li:
A Generalized Extended MIMO Array Design Strategy for DOA Estimation. ICSPCC 2023: 1-5 - [i8]Rizeng Chen, Haokun Li, Bican Xia, Tianqi Zhao, Tao Zheng:
Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial. CoRR abs/2301.05847 (2023) - [i7]Haokun Li, Bican Xia, Tianqi Zhao:
Local Search for Solving Satisfiability of Polynomial Formulas. CoRR abs/2303.09072 (2023) - 2022
- [c6]Langyuan Mo, Haokun Li, Chaoyang Zou, Yubing Zhang, Ming Yang, Yihong Yang, Mingkui Tan:
Towards Accurate Facial Motion Retargeting with Identity-Consistent and Expression-Exclusive Constraints. AAAI 2022: 1981-1989 - [c5]Haokun Li, Jing Liu, Liancheng Jia, Yun Liang, Yaowei Wang, Mingkui Tan:
Downscaling and Overflow-aware Model Compression for Efficient Vision Processors. ICDCS Workshops 2022: 145-150 - [i6]Haokun Li, Bican Xia, Tianqi Zhao:
Square-free Strong Triangular Decomposition of Zero-dimensional Polynomial Systems. CoRR abs/2202.06044 (2022) - [i5]Shuaicheng Niu, Jiaxiang Wu, Yifan Zhang, Guanghui Xu, Haokun Li, Peilin Zhao, Junzhou Huang, Yaowei Wang, Mingkui Tan:
Boost Test-Time Performance with Closed-Loop Inference. CoRR abs/2203.10853 (2022) - 2021
- [c4]Haokun Li, Bican Xia, Huiying Zhang, Tao Zheng:
Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure. ISSAC 2021: 281-288 - [i4]Haokun Li, Bican Xia, Huiying Zhang, Tao Zheng:
Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure. CoRR abs/2102.00823 (2021) - 2020
- [c3]Shoukai Xu, Haokun Li, Bohan Zhuang, Jing Liu, Jiezhang Cao, Chuangrun Liang, Mingkui Tan:
Generative Low-Bitwidth Data Free Quantization. ECCV (12) 2020: 1-17 - [i3]Haokun Li, Bican Xia:
Solving Satisfiability of Polynomial Formulas By Sample-Cell Projection. CoRR abs/2003.00409 (2020) - [i2]Shoukai Xu, Haokun Li, Bohan Zhuang, Jing Liu, Jiezhang Cao, Chuangrun Liang, Mingkui Tan:
Generative Low-bitwidth Data Free Quantization. CoRR abs/2003.03603 (2020)
2010 – 2019
- 2019
- [c2]Jie Wang, Haokun Li, Bican Xia:
A New Sparse SOS Decomposition Algorithm Based on Term Sparsity. ISSAC 2019: 347-354 - 2018
- [c1]Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan:
Monitoring CTMCs by Multi-clock Timed Automata. CAV (1) 2018: 507-526 - [i1]Haokun Li, Bican Xia:
Block SOS Decomposition. CoRR abs/1801.07954 (2018)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-02-27 22:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
