Alert button
Picture for Kuldeep S. Meel

Kuldeep S. Meel

Alert button

Locally-Minimal Probabilistic Explanations

Dec 20, 2023
Yacine Izza, Kuldeep S. Meel, Joao Marques-Silva

Viaarxiv icon

Auditable Algorithms for Approximate Model Counting

Dec 19, 2023
Kuldeep S. Meel, Supratik Chakraborty, S. Akshay

Viaarxiv icon

Engineering an Exact Pseudo-Boolean Model Counter

Dec 19, 2023
Suwei Yang, Kuldeep S. Meel

Viaarxiv icon

Total Variation Distance Estimation Is as Easy as Probabilistic Inference

Sep 17, 2023
Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, A. Pavan, N. V. Vinodchandran

Viaarxiv icon

Scalable Probabilistic Routes

Jun 19, 2023
Suwei Yang, Victor C. Liang, Kuldeep S. Meel

Figure 1 for Scalable Probabilistic Routes
Figure 2 for Scalable Probabilistic Routes
Figure 3 for Scalable Probabilistic Routes
Figure 4 for Scalable Probabilistic Routes
Viaarxiv icon

Explaining SAT Solving Using Causal Reasoning

Jun 09, 2023
Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel

Figure 1 for Explaining SAT Solving Using Causal Reasoning
Figure 2 for Explaining SAT Solving Using Causal Reasoning
Figure 3 for Explaining SAT Solving Using Causal Reasoning
Figure 4 for Explaining SAT Solving Using Causal Reasoning
Viaarxiv icon

Rounding Meets Approximate Model Counting

May 16, 2023
Jiong Yang, Kuldeep S. Meel

Figure 1 for Rounding Meets Approximate Model Counting
Figure 2 for Rounding Meets Approximate Model Counting
Figure 3 for Rounding Meets Approximate Model Counting
Figure 4 for Rounding Meets Approximate Model Counting
Viaarxiv icon

Synthesis with Explicit Dependencies

Jan 25, 2023
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel

Figure 1 for Synthesis with Explicit Dependencies
Figure 2 for Synthesis with Explicit Dependencies
Figure 3 for Synthesis with Explicit Dependencies
Figure 4 for Synthesis with Explicit Dependencies
Viaarxiv icon

Fast Converging Anytime Model Counting

Dec 19, 2022
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap

Figure 1 for Fast Converging Anytime Model Counting
Figure 2 for Fast Converging Anytime Model Counting
Figure 3 for Fast Converging Anytime Model Counting
Figure 4 for Fast Converging Anytime Model Counting
Viaarxiv icon

How Biased is Your Feature?: Computing Fairness Influence Functions with Global Sensitivity Analysis

Jun 01, 2022
Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel

Figure 1 for How Biased is Your Feature?: Computing Fairness Influence Functions with Global Sensitivity Analysis
Figure 2 for How Biased is Your Feature?: Computing Fairness Influence Functions with Global Sensitivity Analysis
Figure 3 for How Biased is Your Feature?: Computing Fairness Influence Functions with Global Sensitivity Analysis
Figure 4 for How Biased is Your Feature?: Computing Fairness Influence Functions with Global Sensitivity Analysis
Viaarxiv icon