Batya Kenig

A Dichotomy for the Generalized Model Counting Problem for Unions of Conjunctive Queries

2020 · arXiv (Cornell University)

We study the $generalized~model~counting~problem$, defined as follows: given a database, and a set of deterministic tuples, count the number of subsets of the database that include all deterministic tuples and satisfy the query. This problem …

Approximate Implication for Probabilistic Graphical Models

2023 · arXiv (Cornell University)

The graphical structure of Probabilistic Graphical Models (PGMs) represents the conditional independence (CI) relations that hold in the modeled distribution. Every separator in the graph represents a conditional independence relation in the distribution, making them …