Yash Pote
8 papers · 2019–2026 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π§ 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
Instance Dependent Testing of Samplers Using Interval Conditioning
AAAI 2026
Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
IJCAI 2025
Towards Real-Time Approximate Counting
AAAI 2025
Distance Estimation for High-Dimensional Discrete Distributions
AISTATS 2025
Testing Self-Reducible Samplers
AAAI 2024
On Scalable Testing of Samplers
NIPS 2022
Partition Function Estimation: A Quantitative Study
IJCAI 2021
Phase Transition Behavior of Cardinality and XOR Constraints
IJCAI 2019