Yash Pote
8 papers
· 2019–2026
· 4 conferences
· across top CS/AI conferences
Achievements
π§
Keyword Pioneer
π
Conference Polyglot
(4)
π
Academic Marathon
(6)
π
Cross-Pollinator
(10)
π
Renaissance Researcher
(5)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(15)
Conferences
AAAI (3)
IJCAI (3)
AISTATS (1)
NIPS (1)
Top co-authors
Keywords
distribution testing
(2)
sampler testing
(2)
formal verification
(1)
partition function
(1)
probability distribution
(1)
distance estimation
(1)
constraint satisfaction
(1)
cardinality constraint
(1)
markov chain
(1)
approximate counting
(1)
query complexity
(1)
bayesian network
(1)
approximation algorithm
(1)
probabilistic graphical model
(1)
phase transition
(1)
randomized algorithm
(1)
sat solver
(1)
sampling algorithm
(1)
xor constraint
(1)
runtime performance
(1)
Papers
Towards Real-Time Approximate Counting
AAAI 2025
Testing Self-Reducible Samplers
AAAI 2024
On Scalable Testing of Samplers
NIPS 2022