Yuanhong Wang
3 papers
· 2021–2026
· 2 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(2)
π
Academic Marathon
(5)
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Cross-Pollinator
(15)
Conferences
AAAI (2)
IJCAI (1)
Top co-authors
Keywords
first-order logic
(3)
probabilistic logic
(1)
cardinality constraint
(1)
discrete mathematics
(1)
markov logic network
(1)
sampling algorithm
(1)
weighted model counting
(1)
model counting
(1)
model sampling
(1)
relational marginal polytope
(1)
weighted first-order model counting
(1)
stable seating arrangement
(1)
probabilistic inference
(1)
binary evidence
(1)