Heng Guo

DR

Accepting PhD Students

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2023

    Improving certified robustness via statistical learning with logical reasoning

    Yang, Z., Zhao, Z., Wang, B., Zhang, J., Li, L., Pei, H., Karlas, B., Liu, J., Guo, H., Zhang, C. & Li, B., 1 Apr 2023, Advances in Neural Information Processing Systems 35 (NeurIPS 2022). Curran Associates Inc, Vol. 35. p. 34859-34873 15 p. (Advances in Neural Information Processing Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • A simple polynomial - time approximation algorithm for the total variation distance between two product distributions

    Feng, W., Guo, H., Jerrum, M. & Wang, J., 12 Jan 2023, SIAM 2023 - Symposium on Simplicity in Algorithms (SOSA). Society for Industrial and Applied Mathematics, p. 343-347

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2022

    Improved bounds for randomly colouring simple hypergraphs

    Feng, W., Guo, H. & Wang, J., 15 Sept 2022, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2022). Chakrabarti, A. & Swamy, C. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 245. p. 1-17 25. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 245).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2021

    Rapid mixing from spectral independence beyond the Boolean domain

    Feng, W., Guo, H., Yin, Y. & Zhang, C., 10 Jan 2021, Proceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms (SODA21). ACM, p. 1558 – 1577 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2020

    Fast Sampling and Counting k-SAT Solutions in the Local Lemma Regime

    Feng, W., Guo, H., Yin, Y. & Zhang, C., 22 Jun 2020, Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing (STOC 2020). ACM, p. 854-867 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Zeros of ferromagnetic 2-spin systems

    Guo, H., Liu, J. & Lu, P., 8 Jan 2020, Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms. p. 181-192 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Modified log-Sobolev inequalities for strongly log-concave distributions

    Cryan, M., Guo, H. & Mousa, G., 6 Jan 2020, 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS). Institute of Electrical and Electronics Engineers (IEEE), p. 1358-1370 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2019

    Zeros of Holant problems: locations and algorithms

    Guo, H., Liao, C., Lu, P. & Zhang, C., 1 Jan 2019, Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms: PRDA19. Westin San Diego, San Diego, California, USA: Society for Industrial and Applied Mathematics, p. 2262 to 2278 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2018

    A Polynomial-Time Approximation Algorithm for All-Terminal Network Reliability

    Guo, H. & Jerrum, M., 9 Jul 2018, 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018). Chatzigiannakis, I., Kaklamanis, C., Marx, D. & Sannella, D. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Vol. 107. p. 68:1-68:12 12 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 107).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Counting Hypergraph Colourings in the Local Lemma Regime

    Guo, H., Liao, C., Lu, P. & Zhang, C., 29 Jun 2018, Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. New York, NY, USA: ACM, p. 926-939 14 p. (STOC 2018).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Layerwise Systematic Scan: Deep Boltzmann Machines and Beyond

    Guo, H., Kara, K. & Zhang, C., 11 Apr 2018, 21st International Conference on Artificial Intelligence and Statistics. Playa Blanca, Lanzarote, Canary Islands: PMLR, Vol. 84. p. 178-187 10 p. (Proceedings of Machine Learning Research; vol. 84).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2017

    Uniform sampling through the Lovasz local lemma

    Guo, H., Jerrum, M. & Liu, J., 23 Jun 2017, Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2017, Montreal, QC, Canada, June 19-23, 2017. ACM, p. 342-355 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Random Cluster Dynamics for the Ising Model is Rapidly Mixing

    Guo, H. & Jerrum, M., 19 Jan 2017, (E-pub ahead of print) Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms. 2 ed. Society for Industrial and Applied Mathematics, Vol. 28. p. 1818-1827 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2016

    Uniqueness, Spatial Mixing, and Approximation for Ferromagnetic 2-Spin Systems

    Guo, H. & Lu, P., 9 Sept 2016, (E-pub ahead of print) Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2016, September 7-9, 2016, Paris, France. Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 60. p. 31:1-31:26 26 p. 31. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 60).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Approximation via Correlation Decay When Strong Spatial Mixing Fails

    Bezáková, I., Galanis, A., Goldberg, L. A., Guo, H. & Stefankovic, D., 15 Jul 2016, 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy. Chatzigiannakis, I. (ed.). Rome, Italy: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Vol. 55. p. 45:1-45:13 13 p. 45. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 55).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2015

    A Holant Dichotomy: Is the FKT Algorithm Universal?

    Cai, J-Y., Fu, Z., Guo, H. & Williams, T., 2015, IEEE 56th Annual Symposium on Foundations of Computer Science, FOCS 2015, Berkeley, CA, USA, 17-20 October, 2015. Institute of Electrical and Electronics Engineers (IEEE), p. 1259-1276 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2014

    Holographic Algorithms Beyond Matchgates

    Cai, J-Y., Guo, H. & Williams, T., 2014, Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I. Springer, p. 271-282 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2013

    The Complexity of Planar Boolean CSP with Complex Weights

    Guo, H. & Williams, T., 12 Apr 2013, (Accepted/In press) Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I. p. 516-527 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2012

    Inapproximability after Uniqueness Phase Transition in Two-Spin Systems

    Cai, J-Y., Chen, X., Guo, H. & Lu, P., 29 Apr 2012, Combinatorial Optimization and Applications - 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012. Proceedings. p. 336-347 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2011

    The Complexity of Weighted Boolean CSP Modulo k

    Guo, H., Huang, S., Lu, P. & Xia, M., 2011, 28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011, March 10-12, 2011, Dortmund, Germany. Institute of Electrical and Electronics Engineers (IEEE), p. 249-260 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2009

    On Model Checking Boolean BI

    Guo, H., Wang, H., Xu, Z. & Cao, Y., 28 Aug 2009, Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings. p. 302-316 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File