Yuanhong Wang

4 papers · 2021–2026 · 3 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (10) 🐣 Hot Topic Early Bird

Venues

AAAI (2) IJCAI (1) NSDI (1)

Top co-authors

Ondrej Kuzelka (3) Yuyi Wang (3) Timothy van Bremen (2) Arvind Krishnamurthy (1) Zezhou Wang (1) Qipeng Kuang (1) Juhua Pu (1) Saeed Maleki (1) Václav Kůla (1) Hossein Pourreza (1)

Research topics

Computer Science (3) Machine Learning (3) Mathematics & Optimization (3) Foundations (3) Optimization & Theory (3) Optimization (2) Knowledge & Reasoning (1) Mathematics (1) Reasoning (1) Systems (1)

Keywords

first-order logic (3) probabilistic logic (1) cardinality constraint (1) discrete mathematics (1) spanning tree (1) markov logic network (1) throughput optimization (1) collective communication (1) network topology (1) sampling algorithm (1) weighted model counting (1) model counting (1) large language model training (1) model sampling (1) relational marginal polytope (1) weighted first-order model counting (1) stable seating arrangement (1) binary evidence (1) probabilistic inference (1) schedule generation (1)

Papers

ForestColl: Throughput-Optimal Collective Communications on Heterogeneous Network Fabrics NSDI 2026 Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence AAAI 2026 Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions AAAI 2022 Fast Algorithms for Relational Marginal Polytopes IJCAI 2021