Kuldeep S Meel
10 papers
· 2019–2022
· 2 conferences
· across top CS/AI conferences
Achievements
π
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
On Scalable Testing of Samplers
NIPS 2022
Testing Probabilistic Circuits
NIPS 2021
On Testing of Samplers
NIPS 2020