Kun He

According to our database, Kun He authored at least 14 papers between 2016 and 2023.

Collaborative distances:

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

2023

Deterministic counting Lovász local lemma beyond linear programming.

Kun He, Chunyang Wang, Yitong Yin

Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, 2023

Improved Bounds for Sampling Solutions of Random CNF Formulas.

Kun He, Kewen Wu, Kuan Yang

Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, 2023

Moser-Tardos Algorithm: Beyond Shearer's Bound.

Kun He, Qian Li, Xiaoming Sun

Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, 2023

2022

Sampling Lovász local lemma for general constraint satisfaction solutions in near-linear time.

Kun He, Chunyang Wang, Yitong Yin

Proceedings of the 63rd IEEE Annual Symposium on Foundations of Computer Science, 2022

2021

Perfect Sampling for (Atomic) Lovász Local Lemma.

Kun He, Xiaoming Sun, Kewen Wu

CoRR, 2021

Sampling constraint satisfaction solutions in the local lemma regime.

Weiming Feng, Kun He, Yitong Yin

Proceedings of the STOC '21: 53rd Annual ACM SIGACT Symposium on Theory of Computing, 2021

Dynamic Inference in Probabilistic Graphical Models.

Weiming Feng, Kun He, Xiaoming Sun, Yitong Yin

Proceedings of the 12th Innovations in Theoretical Computer Science Conference, 2021

2020

Graph algorithms: parallelization and scalability.

Wenfei Fan, Kun He, Qian Li, Yue Wang

Sci. China Inf. Sci., 2020

2019

A tighter relation between sensitivity complexity and certificate complexity.

Kun He, Qian Li, Xiaoming Sun

Theor. Comput. Sci., 2019

Dynamic MCMC Sampling.

Weiming Feng, Kun He, Xiaoming Sun, Yitong Yin

CoRR, 2019

Rectangle Transformation Problem.

Shaojiang Wang, Kun He, Yicheng Pan, Mingji Xia

Algorithmica, 2019

2018

Quantum Lovász Local Lemma: Shearer's Bound is Tight.

Kun He, Qian Li, Xiaoming Sun, Jiapeng Zhang

Electron. Colloquium Comput. Complex., 2018

2017

Variable-Version Lovász Local Lemma: Beyond Shearer's Bound.

Kun He, Liang Li, Xingwu Liu, Yuyi Wang, Mingji Xia

Proceedings of the 58th IEEE Annual Symposium on Foundations of Computer Science, 2017

2016

A Tighter Relation between Sensitivity and Certificate Complexity.

Kun He, Qian Li, Xiaoming Sun

CoRR, 2016