Kuldeep S Meel
10 papers · 2019–2022 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
π
Conference Polyglot Β· Bronze
π
Interdisciplinary Bridge Β· Silver
πΊοΈ
Taxonomy Completionist
(22)
π
Century Club Β· Bronze
ποΈ
Keyword Collector
(51)
Venues
Top co-authors
Research topics
Machine Learning
(7)
Mathematics & Optimization
(6)
Computer Science
(5)
Optimization
(5)
Artificial Intelligence
(4)
Foundations
(4)
Core AI
(3)
Learning Types
(3)
Optimization & Theory
(3)
Bayesian & Probabilistic
(2)
Core Methods
(2)
Mathematics
(2)
Deep Learning
(1)
Knowledge & Reasoning
(1)
Application Areas
(1)
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
ApproxASP β a Scalable Approximate Answer Set Counter
AAAI 2022
Constraint-Driven Explanations for Black-Box ML Models
AAAI 2022
On Scalable Testing of Samplers
NeurIPS 2022
Testing Probabilistic Circuits
NeurIPS 2021
A MaxSAT-Based Framework for Group Testing
AAAI 2020
Efficient Distance Approximation for Structured High-Dimensional Distributions via Learning
NeurIPS 2020
On Testing of Samplers
NeurIPS 2020
Taming Discrete Integration via the Boon of Dimensionality
NeurIPS 2020
Embedding Symbolic Knowledge into Deep Networks
NeurIPS 2019