Heng Guo - RankMe

107 papers A* 21A 6B 1C 1Journal 70Unranked 6

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Approximate Counting for Spin Systems in Sub-Quadratic Time. TheoretiCS Konrad Anand, Weiming Feng, Graham Freifeld, Heng Guo, Jiaheng Wang
2025	A	`conf`	Deterministic Approximation for the Volume of the Truncated Fractional Matching Polytope. ITCS Heng Guo, Vishvajeet N
2025	A*	`conf`	Deterministic Counting from Coupling Independence. FOCS Xiaoyu Chen, Weiming Feng, Heng Guo, Xinyuan Zhang, Zongrui Zou
2025	A*	`conf`	Rapid Mixing of the Flip Chain over Non-Crossing Spanning Trees. SoCG Konrad Anand, Weiming Feng, Graham Freifeld, Heng Guo, Mark Jerrum, Jiaheng Wang
2025	J	`jnl`	Simulating Gaussian boson sampling on graphs in polynomial time. CoRR Konrad Anand, Zongchen Chen, Mary Cryan, Graham Freifeld, Leslie Ann Goldberg, Heng Guo, Xinyuan Zhang
2025	A	`conf`	Sink-Free Orientations: A Local Sampler with Applications. APPROX/RANDOM Konrad Anand, Graham Freifeld, Heng Guo, Chunyang Wang, Jiaheng Wang
2025	J	`jnl`	Sink-free orientations: a local sampler with applications. CoRR Konrad Anand, Graham Freifeld, Heng Guo, Chunyang Wang, Jiaheng Wang
2025	J	`jnl`	Toward Derandomizing Markov Chain Monte Carlo. SIAM J. Comput. Weiming Feng, Heng Guo, Chunyang Wang, Jiaheng Wang, Yitong Yin
2024	A*	`conf`	An FPRAS for Two Terminal Reliability in Directed Acyclic Graphs. ICALP Weiming Feng, Heng Guo
2024	A*	`conf`	Approximate Counting for Spin Systems in Sub-Quadratic Time. ICALP Konrad Anand, Weiming Feng, Graham Freifeld, Heng Guo, Jiaheng Wang
2024	J	`jnl`	Deterministic approximation for the volume of the truncated fractional matching polytope. CoRR Heng Guo, Vishvajeet N
2024	J	`jnl`	Deterministic counting from coupling independence. CoRR Xiaoyu Chen, Weiming Feng, Heng Guo, Xinyuan Zhang, Zongrui Zou
2024	J	`jnl`	Fast Sampling of Satisfying Assignments from Random \(\boldsymbol{k}\)-SAT with Applications to Connectivity. SIAM J. Discret. Math. Zongchen Chen, Andreas Galanis, Leslie Ann Goldberg, Heng Guo, Andrés Herrera-Poyatos, Nitya Mani, Ankur Moitra
2024	A	`conf`	Near-Linear Time Samplers for Matroid Independent Sets with Applications. APPROX/RANDOM Xiaoyu Chen, Heng Guo, Xinyuan Zhang, Zongrui Zou
2024	J	`jnl`	Rapid mixing of the flip chain over non-crossing spanning trees. CoRR Konrad Anand, Weiming Feng, Graham Freifeld, Heng Guo, Mark Jerrum, Jiaheng Wang
2023	—	`conf`	A simple polynomial-time approximation algorithm for the total variation distance between two product distributions. SOSA Weiming Feng, Heng Guo, Mark Jerrum, Jiaheng Wang
2023	J	`jnl`	A simple polynomial-time approximation algorithm for the total variation distance between two product distributions. TheoretiCS Weiming Feng, Heng Guo, Mark Jerrum, Jiaheng Wang
2023	J	`jnl`	An FPRAS for two terminal reliability in directed acyclic graphs. CoRR Weiming Feng, Heng Guo
2023	J	`jnl`	Approximate Counting for Spin Systems in Sub-Quadratic Time. CoRR Konrad Anand, Weiming Feng, Graham Freifeld, Heng Guo, Jiaheng Wang
2023	J	`jnl`	Counting Vertices of Integral Polytopes Defined by Facets. Discret. Comput. Geom. Heng Guo, Mark Jerrum
2023	J	`jnl`	Swendsen-Wang dynamics for the ferromagnetic Ising model with external fields. Inf. Comput. Weiming Feng, Heng Guo, Jiaheng Wang
2023	A*	`conf`	Towards derandomising Markov chain Monte Carlo. FOCS Weiming Feng, Heng Guo, Chunyang Wang, Jiaheng Wang, Yitong Yin
2022	J	`jnl`	A simple polynomial-time approximation algorithm for total variation distances between product distributions. CoRR Weiming Feng, Heng Guo, Mark Jerrum, Jiaheng Wang
2022	J	`jnl`	FKT is Not Universal - A Planar Holant Dichotomy for Symmetric Constraints. Theory Comput. Syst. Jin-Yi Cai, Zhiguo Fu, Heng Guo, Tyson Williams
2022	J	`jnl`	Fast sampling of satisfying assignments from random k-SAT. CoRR Andreas Galanis, Leslie Ann Goldberg, Heng Guo, Andrés Herrera-Poyatos
2022	A	`conf`	Improved Bounds for Randomly Colouring Simple Hypergraphs. APPROX/RANDOM Weiming Feng, Heng Guo, Jiaheng Wang
2022	J	`jnl`	Improved bounds for randomly colouring simple hypergraphs. CoRR Weiming Feng, Heng Guo, Jiaheng Wang
2022	A*	`conf`	Improving Certified Robustness via Statistical Learning with Logical Reasoning. NeurIPS Zhuolin Yang, Zhikuan Zhao, Boxin Wang, Jiawei Zhang, Linyi Li, Hengzhi Pei, Bojan Karlas, Ji Liu, Heng Guo, Ce Zhang, Bo Li
2022	J	`jnl`	Inapproximability of Counting Hypergraph Colourings. ACM Trans. Comput. Theory Andreas Galanis, Heng Guo, Jiaheng Wang
2022	J	`jnl`	Perfect sampling from spatial mixing. Random Struct. Algorithms Weiming Feng, Heng Guo, Yitong Yin
2022	J	`jnl`	Rapid Mixing from Spectral Independence beyond the Boolean Domain. ACM Trans. Algorithms Weiming Feng, Heng Guo, Yitong Yin, Chihao Zhang
2022	J	`jnl`	Sampling from the ferromagnetic Ising model with external fields. CoRR Weiming Feng, Heng Guo, Jiaheng Wang
2022	J	`jnl`	Towards derandomising Markov chain Monte Carlo. CoRR Weiming Feng, Heng Guo, Chunyang Wang, Jiaheng Wang, Yitong Yin
2021	J	`jnl`	Approximately counting bases of bicircular matroids. Comb. Probab. Comput. Heng Guo, Mark Jerrum
2021	J	`jnl`	Counting Solutions to Random CNF Formulas. SIAM J. Comput. Andreas Galanis, Leslie Ann Goldberg, Heng Guo, Kuan Yang
2021	J	`jnl`	Counting vertices of integer polytopes defined by facets. CoRR Heng Guo, Mark Jerrum
2021	J	`jnl`	Fast Sampling and Counting J. ACM Weiming Feng, Heng Guo, Yitong Yin, Chihao Zhang
2021	J	`jnl`	Inapproximability of counting hypergraph colourings. CoRR Andreas Galanis, Heng Guo, Jiaheng Wang
2021	A*	`conf`	Rapid Mixing from Spectral Independence beyond the Boolean Domain. SODA Weiming Feng, Heng Guo, Yitong Yin, Chihao Zhang
2021	J	`jnl`	Zeros of Holant Problems: Locations and Algorithms. ACM Trans. Algorithms Heng Guo, Chao Liao, Pinyan Lu, Chihao Zhang
2020	A*	`conf`	Counting Solutions to Random CNF Formulas. ICALP Andreas Galanis, Leslie Ann Goldberg, Heng Guo, Kuan Yang
2020	J	`jnl`	End-to-end Robustness for Sensing-Reasoning Machine Learning Pipelines. CoRR Zhuolin Yang, Zhikuan Zhao, Hengzhi Pei, Boxin Wang, Bojan Karlas, Ji Liu, Heng Guo, Bo Li, Ce Zhang
2020	A*	`conf`	Fast sampling and counting k-SAT solutions in the local lemma regime. STOC Weiming Feng, Heng Guo, Yitong Yin, Chihao Zhang
2020	J	`jnl`	Local-to-Global Contraction in Simplicial Complexes. CoRR Heng Guo, Giorgos Mousa
2020	J	`jnl`	Rapid mixing from spectral independence beyond the Boolean domain. CoRR Weiming Feng, Heng Guo, Yitong Yin, Chihao Zhang
2020	J	`jnl`	The complexity of planar Boolean #CSP with complex weights. J. Comput. Syst. Sci. Heng Guo, Tyson Williams
2020	J	`jnl`	Tight bounds for popping algorithms. Random Struct. Algorithms Heng Guo, Kun He
2020	A*	`conf`	Zeros of ferromagnetic 2-spin systems. SODA Heng Guo, Jingcheng Liu, Pinyan Lu
2019	J	`jnl`	A Polynomial-Time Approximation Algorithm for All-Terminal Network Reliability. SIAM J. Comput. Heng Guo, Mark Jerrum
2019	J	`jnl`	Approximation via Correlation Decay When Strong Spatial Mixing Fails. SIAM J. Comput. Ivona Bezáková, Andreas Galanis, Leslie Ann Goldberg, Heng Guo, Daniel Stefankovic
2019	J	`jnl`	Counting Hypergraph Colorings in the Local Lemma Regime. SIAM J. Comput. Heng Guo, Chao Liao, Pinyan Lu, Chihao Zhang
2019	J	`jnl`	Counting solutions to random CNF formulas. CoRR Andreas Galanis, Leslie Ann Goldberg, Heng Guo, Kuan Yang
2019	J	`jnl`	Fast sampling and counting k-SAT solutions in the local lemma regime. CoRR Weiming Feng, Heng Guo, Yitong Yin, Chihao Zhang
2019	A*	`conf`	Modified log-Sobolev Inequalities for Strongly Log-Concave Distributions. FOCS Mary Cryan, Heng Guo, Giorgos Mousa
2019	J	`jnl`	Modified log-Sobolev inequalities for strongly log-concave distributions. CoRR Mary Cryan, Heng Guo, Giorgos Mousa
2019	J	`jnl`	Perfect sampling from spatial mixing. CoRR Weiming Feng, Heng Guo, Yitong Yin
2019	J	`jnl`	Uniform Sampling Through the Lovász Local Lemma. J. ACM Heng Guo, Mark Jerrum, Jingcheng Liu
2019	A*	`conf`	Zeros of Holant problems: locations and algorithms. SODA Heng Guo, Chao Liao, Pinyan Lu, Chihao Zhang
2019	J	`jnl`	Zeros of ferromagnetic 2-spin systems. CoRR Heng Guo, Jingcheng Liu, Pinyan Lu
2018	A*	`conf`	A Polynomial-Time Approximation Algorithm for All-Terminal Network Reliability. ICALP Heng Guo, Mark Jerrum
2018	J	`jnl`	Approximately counting bases of bicircular matroids. CoRR Heng Guo, Mark Jerrum
2018	J	`jnl`	Clifford gates in the Holant framework. Theor. Comput. Sci. Jin-Yi Cai, Heng Guo, Tyson Williams
2018	A*	`conf`	Counting hypergraph colourings in the local lemma regime. STOC Heng Guo, Chao Liao, Pinyan Lu, Chihao Zhang
2018	J	`jnl`	Holographic algorithms beyond matchgates. Inf. Comput. Jin-Yi Cai, Heng Guo, Tyson Williams
2018	A	`conf`	Layerwise Systematic Scan: Deep Boltzmann Machines and Beyond. AISTATS Heng Guo, Kaan Kara, Ce Zhang
2018	A*	`conf`	Perfect Simulation of the Hard Disks Model by Partial Rejection Sampling. ICALP Heng Guo, Mark Jerrum
2018	J	`jnl`	Perfect simulation of the Hard Disks Model by Partial Rejection Sampling. CoRR Heng Guo, Mark Jerrum
2018	J	`jnl`	Tight bounds for popping algorithms. CoRR Heng Guo, Kun He
2018	J	`jnl`	Uniqueness, Spatial Mixing, and Approximation for Ferromagnetic 2-Spin Systems. ACM Trans. Comput. Theory Heng Guo, Pinyan Lu
2018	J	`jnl`	Zeros of Holant problems: locations and algorithms. CoRR Heng Guo, Chao Liao, Pinyan Lu, Chihao Zhang
2017	J	`jnl`	A simple FPRAS for bi-directed reachability. CoRR Heng Guo, Mark Jerrum
2017	J	`jnl`	Clifford Gates in the Holant Framework. CoRR Jin-Yi Cai, Heng Guo, Tyson Williams
2017	J	`jnl`	Counting hypergraph colorings in the local lemma regime. CoRR Heng Guo, Chao Liao, Pinyan Lu, Chihao Zhang
2017	J	`jnl`	Layerwise Systematic Scan: Deep Boltzmann Machines and Beyond. CoRR Heng Guo, Kaan Kara, Ce Zhang
2017	—	`ch.`	On the Complexity of Holant Problems. The Constraint Satisfaction Problem Heng Guo, Pinyan Lu
2017	A*	`conf`	Random cluster dynamics for the Ising model is rapidly mixing. SODA Heng Guo, Mark Jerrum
2017	J	`jnl`	The Complexity of Approximating complex-valued Ising and Tutte partition functions. Comput. Complex. Leslie Ann Goldberg, Heng Guo
2017	A*	`conf`	Uniform sampling through the Lovasz local lemma. STOC Heng Guo, Mark Jerrum, Jingcheng Liu
2016	J	`jnl`	#BIS-hardness for 2-spin systems on bipartite bounded degree graphs in the tree non-uniqueness region. J. Comput. Syst. Sci. Jin-Yi Cai, Andreas Galanis, Leslie Ann Goldberg, Heng Guo, Mark Jerrum, Daniel Stefankovic, Eric Vigoda
2016	J	`jnl`	A Complete Dichotomy Rises from the Capture of Vanishing Signatures. SIAM J. Comput. Jin-Yi Cai, Heng Guo, Tyson Williams
2016	A*	`conf`	Approximation via Correlation Decay When Strong Spatial Mixing Fails. ICALP Ivona Bezáková, Andreas Galanis, Leslie Ann Goldberg, Heng Guo, Daniel Stefankovic
2016	—	`ch.`	Holant Problems. Encyclopedia of Algorithms Jin-Yi Cai, Heng Guo, Tyson Williams
2016	J	`jnl`	Mapping the complexity of counting problems. Bull. EATCS Heng Guo
2016	J	`jnl`	Random cluster dynamics for the Ising model is rapidly mixing. CoRR Heng Guo, Mark Jerrum
2016	J	`jnl`	Uniform Sampling through the Lovász Local Lemma. CoRR Heng Guo, Mark Jerrum, Jingcheng Liu
2016	—	`conf`	Uniqueness, Spatial Mixing, and Approximation for Ferromagnetic 2-Spin Systems. APPROX-RANDOM Heng Guo, Pinyan Lu
2015	A*	`conf`	A Holant Dichotomy: Is the FKT Algorithm Universal? FOCS Jin-Yi Cai, Zhiguo Fu, Heng Guo, Tyson Williams
2015	J	`jnl`	A Holant Dichotomy: Is the FKT Algorithm Universal? CoRR Jin-Yi Cai, Zhiguo Fu, Heng Guo, Tyson Williams
2015	J	`jnl`	Approximation via Correlation Decay when Strong Spatial Mixing Fails. CoRR Ivona Bezáková, Andreas Galanis, Leslie Ann Goldberg, Heng Guo, Daniel Stefankovic
2015	J	`jnl`	Uniqueness, Spatial Mixing, and Approximation for Ferromagnetic 2-Spin Systems. CoRR Heng Guo, Pinyan Lu
2014	—	`conf`	#BIS-Hardness for 2-Spin Systems on Bipartite Bounded Degree Graphs in the Tree Non-uniqueness Region. APPROX-RANDOM Jin-Yi Cai, Andreas Galanis, Leslie Ann Goldberg, Heng Guo, Mark Jerrum, Daniel Stefankovic, Eric Vigoda
2014	—	`conf`	Holographic Algorithms Beyond Matchgates. ICALP (1) Jin-Yi Cai, Heng Guo, Tyson Williams
2014	A*	`conf`	The Complexity of Counting Edge Colorings and a Dichotomy for Some Higher Domain Holant Problems. FOCS Jin-Yi Cai, Heng Guo, Tyson Williams
2014	J	`jnl`	The Complexity of Counting Edge Colorings and a Dichotomy for Some Higher Domain Holant Problems. CoRR Jin-Yi Cai, Heng Guo, Tyson Williams
2014	J	`jnl`	The complexity of approximating complex-valued Ising and Tutte partition functions with applications to quantum simulation. CoRR Leslie Ann Goldberg, Heng Guo
2013	A*	`conf`	A complete dichotomy rises from the capture of vanishing signatures: extended abstract. STOC Jin-Yi Cai, Heng Guo, Tyson Williams
2013	J	`jnl`	Approximating the Partition Function of Two-Spin Systems on Bipartite Graphs. CoRR Jin-Yi Cai, Leslie Ann Goldberg, Heng Guo, Mark Jerrum
2013	J	`jnl`	Holographic Algorithms Beyond Matchgates. CoRR Jin-Yi Cai, Heng Guo, Tyson Williams
2013	—	`conf`	The Complexity of Planar Boolean #CSP with Complex Weights. ICALP (1) Heng Guo, Tyson Williams
2013	J	`jnl`	The Complexity of Symmetric Boolean Parity Holant Problems. SIAM J. Comput. Heng Guo, Pinyan Lu, Leslie G. Valiant
2012	J	`jnl`	A Complete Dichotomy Rises from the Capture of Vanishing Signatures CoRR Jin-Yi Cai, Heng Guo, Tyson Williams
2012	J	`jnl`	Inapproximability After Uniqueness Phase Transition in Two-Spin Systems CoRR Jin-Yi Cai, Xi Chen, Heng Guo, Pinyan Lu
2012	C	`conf`	Inapproximability after Uniqueness Phase Transition in Two-Spin Systems. COCOA Jin-Yi Cai, Xi Chen, Heng Guo, Pinyan Lu
2012	J	`jnl`	The Complexity of Planar Boolean #CSP with Complex Weights CoRR Heng Guo, Tyson Williams
2011	—	`conf`	The Complexity of Symmetric Boolean Parity Holant Problems - (Extended Abstract). ICALP (1) Heng Guo, Pinyan Lu, Leslie G. Valiant
2011	A	`conf`	The Complexity of Weighted Boolean #CSP Modulo k. STACS Heng Guo, Sangxia Huang, Pinyan Lu, Mingji Xia
2009	B	`conf`	On Model Checking Boolean BI. CSL Heng Guo, Hanpin Wang, Zhongyuan Xu, Yongzhi Cao