Haokun Li

40 papers A* 2B 2Journal 26Unranked 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
Array-Carrying Symbolic Execution for Function Contract Generation.
CoRR
Weijie Lu, Jingyu Ke, Hongfei Fu, Zhouyue Sun, Yi Zhou, Guoqiang Li, Haokun Li
2025 J jnl
A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD.
CoRR
Tianyi Ding, Haokun Li, Xinpeng Ni, Bican Xia, Tianqi Zhao
2025 J jnl
A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs.
CoRR
Zhongyi Wang, Tengjie Lin, Mingshuai Chen, Haokun Li, Mingqi Yang, Xiao Yi, Shengchao Qin, Yixing Luo, Xiaofeng Li, Bin Gu, Liqiang Lu, Jianwei Yin
2025 A* conf
Core Context Aware Transformers for Long Context Language Modeling.
ICML
Yaofo Chen, Zeng You, Shuhai Zhang, Haokun Li, Yirui Li, Yaowei Wang, Mingkui Tan
2025 J jnl
Digital twin structural health monitoring driven by multi-fidelity time-series surrogate models.
J. Ind. Inf. Integr.
Lingkang Li, Haokun Li, Ru Wang, Yulin Liu, Guoxin Wang, Yan Yan
2025 — conf
From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs.
ACL (1)
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 J jnl
From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs.
CoRR
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 — conf
Guiding Quantitative MRI Reconstruction with Phase-Wise Uncertainty.
MICCAI (16)
Haozhong Sun, Zhongsen Li, Chenlin Du, Haokun Li, Yajie Wang, Huijun Chen
2025 J jnl
Guiding Quantitative MRI Reconstruction with Phase-wise Uncertainty.
CoRR
Haozhong Sun, Zhongsen Li, Chenlin Du, Haokun Li, Yajie Wang, Huijun Chen
2025 J jnl
Preguss: It Analyzes, It Specifies, It Verifies.
CoRR
Zhongyi Wang, Tengjie Lin, Mingshuai Chen, Mingqi Yang, Haokun Li, Xiao Yi, Shengchao Qin, Jianwei Yin
2025 J jnl
Seeing is Not Understanding: A Benchmark on Perception-Cognition Disparities in Large Language Models.
CoRR
Haokun Li, Yazhou Zhang, Jizhi Ding, Qiuchi Li, Peng Zhang
2025 J jnl
Sensitivity-Aware Post-Training Quantization for Deep Neural Networks.
CoRR
Zekang Zheng, Haokun Li, Yaofo Chen, Mingkui Tan, Qing Du
2025 — conf
Sensitivity-Aware Post-training Quantization for Deep Neural Networks.
PRCV (3)
Zekang Zheng, Haokun Li, Yaofo Chen, Mingkui Tan, Qing Du
2025 J jnl
Visual Room 2.0: Seeing is Not Understanding for MLLMs.
CoRR
Haokun Li, Yazhou Zhang, Jizhi Ding, Qiuchi Li, Peng Zhang
2024 — conf
A Joint encryption system based on McEliece and RLWE.
ICCT
Zixuan Yao, Deyuan Chen, Shaoshuai Gao, Can Zhang, Haokun Li
2024 J jnl
CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations.
CoRR
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
2024 J jnl
Core Context Aware Attention for Long Context Language Modeling.
CoRR
Yaofo Chen, Zeng You, Shuhai Zhang, Haokun Li, Yirui Li, Yaowei Wang, Mingkui Tan
2024 J jnl
DRL-based computing offloading approach for large-scale heterogeneous tasks in mobile edge computing.
Concurr. Comput. Pract. Exp.
Bingkun He, Haokun Li, Tong Chen
2024 — conf
Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification.
CAV (2)
Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
2024 J jnl
Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification.
CoRR
Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
2024 J jnl
Isolating all the real roots of a mixed trigonometric-polynomial.
J. Symb. Comput.
Rizeng Chen, Haokun Li, Bican Xia, Tianqi Zhao, Tao Zheng
2024 J jnl
M2DA: Multi-Modal Fusion Transformer Incorporating Driver Attention for Autonomous Driving.
CoRR
Dongyang Xu, Haokun Li, Qingfan Wang, Ziying Song, Lei Chen, Hanming Deng
2023 — conf
A Generalized Extended MIMO Array Design Strategy for DOA Estimation.
ICSPCC
Sijie Wang, Shiwei Ren, Haokun Li, Xiangnan Li
2023 J jnl
Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure.
J. Symb. Comput.
Haokun Li, Bican Xia, Huiying Zhang, Tao Zheng
2023 J jnl
Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial.
CoRR
Rizeng Chen, Haokun Li, Bican Xia, Tianqi Zhao, Tao Zheng
2023 — conf
Local Search for Solving Satisfiability of Polynomial Formulas.
CAV (2)
Haokun Li, Bican Xia, Tianqi Zhao
2023 J jnl
Local Search for Solving Satisfiability of Polynomial Formulas.
CoRR
Haokun Li, Bican Xia, Tianqi Zhao
2023 J jnl
Square-Free Pure Triangular Decomposition of Zero-Dimensional Polynomial Systems.
J. Syst. Sci. Complex.
Haokun Li, Bican Xia, Tianqi Zhao
2022 J jnl
Boost Test-Time Performance with Closed-Loop Inference.
CoRR
Shuaicheng Niu, Jiaxiang Wu, Yifan Zhang, Guanghui Xu, Haokun Li, Peilin Zhao, Junzhou Huang, Yaowei Wang, Mingkui Tan
2022 — conf
Downscaling and Overflow-aware Model Compression for Efficient Vision Processors.
ICDCS Workshops
Haokun Li, Jing Liu, Liancheng Jia, Yun Liang, Yaowei Wang, Mingkui Tan
2022 J jnl
Square-free Strong Triangular Decomposition of Zero-dimensional Polynomial Systems.
CoRR
Haokun Li, Bican Xia, Tianqi Zhao
2022 A* conf
Towards Accurate Facial Motion Retargeting with Identity-Consistent and Expression-Exclusive Constraints.
AAAI
Langyuan Mo, Haokun Li, Chaoyang Zou, Yubing Zhang, Ming Yang, Yihong Yang, Mingkui Tan
2021 B conf
Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure.
ISSAC
Haokun Li, Bican Xia, Huiying Zhang, Tao Zheng
2021 J jnl
Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure.
CoRR
Haokun Li, Bican Xia, Huiying Zhang, Tao Zheng
2020 — conf
Generative Low-Bitwidth Data Free Quantization.
ECCV (12)
Shoukai Xu, Haokun Li, Bohan Zhuang, Jing Liu, Jiezhang Cao, Chuangrun Liang, Mingkui Tan
2020 J jnl
Generative Low-bitwidth Data Free Quantization.
CoRR
Shoukai Xu, Haokun Li, Bohan Zhuang, Jing Liu, Jiezhang Cao, Chuangrun Liang, Mingkui Tan
2020 J jnl
Solving Satisfiability of Polynomial Formulas By Sample-Cell Projection.
CoRR
Haokun Li, Bican Xia
2019 B conf
A New Sparse SOS Decomposition Algorithm Based on Term Sparsity.
ISSAC
Jie Wang, Haokun Li, Bican Xia
2018 J jnl
Block SOS Decomposition.
CoRR
Haokun Li, Bican Xia
2018 — conf
Monitoring CTMCs by Multi-clock Timed Automata.
CAV (1)
Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan