Yuanhong Wang

About Me

Greetings! I am an Assistant Professor with the School of Artificial Intelligence at Jilin University. My research interests lie in broad areas of Artificial Intelligence, including Statistical Relational Learning, Lifted Model Counting and Sampling, Neurosymbolic AI. I am enthusiastic about developing efficient algorithms for probabilistic inference, learning and samples generation in relational domains. My current research focuses on:

• Efficient Inference and Sampling in Relational Domains: lifted reasoning, lifted sampling, and their applications
• AI for combinatorics: graph polynomials, model counting, and their connections with AI

I obtained my Ph.D. degree and master degree in Computer Science both at Beihang University supervised by Juhua Pu. I received bachelor degree in Mathematics at Beijing Jiaotong University. I am lucky to collaborate with Yuyi Wang and Ondřej Kuželka.

📢 招收2025年硕士（1名）和博士研究生（1名），欢迎对以上研究方向感兴趣的同学通过邮件联系我，邮件中请注明研究兴趣并附上简历。

News

• [Apr. 2025] Our paper about the model enumeration of two-variable logic is accepted by LICS 2025; enumerating models of two-variable logic is now possible in quadratic time complexity!
• [Jan. 2025] Doctoral thesis won the 2024 Excellent Doctoral Dissertation Award of Beihang University.
• [Sep. 2024] Join the School of Artificial Intelligence at Jilin University as an Assistant Professor.
• [Jul. 2024] We provide a unifying framework for WFOMC with axioms by bridging it with graph polynomials. Preprint is available.
• [Mar. 2024] Journal version of our LICS paper is accepted by AIJ, now sampling C2 is lifted!
• [Jul. 2023] Visit CTU in Prague. Hello, Prague!

Publications (for the full list, please check Google Scholar)

(^#: author order is alphabetical; ^*: equal contribution; ^†: corresponding author)

Preprints

• Bridging Weighted First Order Model Counting and Graph Polynomials
  Qipeng Kuang^#, Ondřej Kuželka^#, Yuanhong Wang^#, Yuyi Wang^#
  Preprint
  [arxiv]

Journal Papers

• Lifted Algorithms for Symmetric Weighted First-Order Model Sampling
  Yuanhong Wang^†, Juhua Pu, Yuyi Wang, Ondřej Kuželka^†
  Artificial Intelligence, AIJ
  [online][arxiv]

Conference Papers

• Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity
  Qiaolan Meng, Juhua Pu, Hongting Niu, Yuyi Wang, Yuanhong Wang^†, Ondřej Kuželka
  Annual ACM/IEEE Symposium on Logic in Computer Science. LICS 2025
  [arxiv]

• A More Practical Algorithm for Weighted First-Order Model Counting with Linear Order Axiom
  Qiaolan Meng^*, Jan Tóth^*, Yuanhong Wang, Yuyi Wang and Ondřej Kuželka^†
  European Conference on Artificial Intelligence. ECAI 2024
  [online]

• On Exact Sampling in the Two-Variable Fragment of First-Order Logic
  Yuanhong Wang, Juhua Pu, Yuyi Wang, Ondřej Kuželka
  Annual ACM/IEEE Symposium on Logic in Computer Science. LICS 2023
  [online][arxiv]

• Domain-lifted sampling for universal two-variable logic and extensions
  Yuanhong Wang, Timothy Van Bremen, Yuyi Wang, and Ondřej Kuželka
  The 36th AAAI Conference on Artificial Intelligence. AAAI 2022
  [online]

• Fast Algorithms for Relational Marginal Polytopes
  Yuanhong Wang, Timothy van Bremen, Juhua Pu^†, Yuyi Wang, Ondrej Kuzelka^†
  International Joint Conference on Artificial Intelligence. IJCAI 2021.
  Oral [online]

• On the ERM principle with networked data
  Yuanhong Wang, Yuyi Wang, Xingwu Liu, and Juhua Pu^†
  Thirty-Second AAAI Conference on Artificial Intelligence. AAAI 2018.
  Oral [online][full version]

Awards

• Excellent Doctoral Dissertation Award of Beihang University (2024, Top 5%)
• Outstanding Graduate of Beihang University (2024, 2018)
• Excellent Master Thesis Award of Beihang University (2018, Top 5%)

Reviewing

Conference PC Member

• AAAI 2023-2025
• ICLR 2025

Journal Reviewing

• IEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI)
• Neurocomputing
• Artificial Intelligence Communications (AIC)

Powered by Jekyll and Minimal Light theme.