12 citations · 34 across the 22 of their papers we have counts for
4 papers · 1 filter
Testing Probabilistic Circuits
Yash Pote, Kuldeep S. Meel
Probabilistic circuits (PCs) are a powerful modeling framework for representing tractable probability distributions over combinatorial spaces. In machine learning and probabilistic…
Projected Model Counting: Beyond Independent Support
Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel
The past decade has witnessed a surge of interest in practical techniques for projected model counting. Despite significant advancements, however, performance scaling remains the A…
Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling
Mate Soos, Kuldeep S. Meel
Given a Boolean formula over the set of variables and a projection set , a subset of variables is independent support of $\mathcal{P}…
Algorithmic Fairness Verification with Graphical Models
Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel
In recent years, machine learning (ML) algorithms have been deployed in safety-critical and high-stake decision-making, where the fairness of algorithms is of paramount importance.…