pith. sign in

Yuanhong Wang

Identifiers

  • name variant Yuanhong Wang 0.60 · backfill

Papers (4)

  1. Solving Combinatorial Counting Problems with Weighted First-Order Model Counting cs.AI · 2026 · author #1
  2. On Knowledge Compilation For Two-Variable First-Order Logic cs.LO · 2026 · author #5
  3. A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers cs.LO · 2026 · author #4
  4. On the ERM Principle with Networked Data cs.LG · 2017 · author #1

Mentions

  • 2605.24845 #1 · arxiv_oai · confidence 0.70 Yuanhong Wang

Frequent Coauthors