Search Results for author: Haokun Li

Found 5 papers, 2 papers with code

Solving Satisfiability of Polynomial Formulas By Sample-Cell Projection

1 code implementation1 Mar 2020 Haokun Li, Bican Xia

A new algorithm for deciding the satisfiability of polynomial formulas over the reals is proposed.

Generative Low-bitwidth Data Free Quantization

3 code implementations ECCV 2020 Shoukai Xu, Haokun Li, Bohan Zhuang, Jing Liu, JieZhang Cao, Chuangrun Liang, Mingkui Tan

More critically, our method achieves much higher accuracy on 4-bit quantization than the existing data free quantization method.

Data Free Quantization

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

no code implementations1 Feb 2021 Haokun Li, Bican Xia, Huiying Zhang, Tao Zheng

This property indicates that when the corresponding perfect elimination tree has a lower height, the full set of projection polynomials also tends to have a smaller "size".

Symbolic Computation

Boost Test-Time Performance with Closed-Loop Inference

no code implementations21 Mar 2022 Shuaicheng Niu, Jiaxiang Wu, Yifan Zhang, Guanghui Xu, Haokun Li, Peilin Zhao, Junzhou Huang, YaoWei Wang, Mingkui Tan

Motivated by this, we propose to predict those hard-classified test samples in a looped manner to boost the model performance.

Auxiliary Learning

M2DA: Multi-Modal Fusion Transformer Incorporating Driver Attention for Autonomous Driving

no code implementations19 Mar 2024 Dongyang Xu, Haokun Li, Qingfan Wang, Ziying Song, Lei Chen, Hanming Deng

By incorporating driver attention, we empower the human-like scene understanding ability to autonomous vehicles to identify crucial areas within complex scenarios precisely and ensure safety.

Autonomous Driving Scene Understanding

Cannot find the paper you are looking for? You can Submit a new open access paper.