Kuldeep S Meel
10 papers · 2019–2022 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Cross-Pollinator (13) π Conference Polyglot (2) π Renaissance Researcher (6) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (23)
π§
Keyword Pioneer
ποΈ
Keyword Collector
(51)
π
Century Club
(10)
Conferences
NIPS (6)
AAAI (4)
Top co-authors
Keywords
approximate counting
(4)
total variation distance
(2)
probability distribution
(2)
combinatorial optimization
(2)
distribution testing
(2)
bayesian network
(2)
model counting
(2)
sample complexity
(2)
ising model
(1)
formal methods
(1)
dimensionality reduction
(1)
query complexity
(1)
answer set programming
(1)
model explanation
(1)
graph embedding
(1)
neural network verification
(1)
semantic embedding
(1)
approximation algorithm
(1)
graphical model
(1)
statistical testing
(1)
Papers
Algorithmic Fairness Verification with Graphical Models
AAAI 2022
On Scalable Testing of Samplers
NIPS 2022
ApproxASP β a Scalable Approximate Answer Set Counter
AAAI 2022
Constraint-Driven Explanations for Black-Box ML Models
AAAI 2022
Testing Probabilistic Circuits
NIPS 2021
A MaxSAT-Based Framework for Group Testing
AAAI 2020
Taming Discrete Integration via the Boon of Dimensionality
NIPS 2020
On Testing of Samplers
NIPS 2020
Efficient Distance Approximation for Structured High-Dimensional Distributions via Learning
NIPS 2020
Embedding Symbolic Knowledge into Deep Networks
NIPS 2019