ResearchAlpha Leak

Conferences Topics Top Authors Rankings Browse All

Home/Authors/Kuldeep S Meel

Kuldeep S Meel

Topic trends: 32,543 papers · similarity ≥ 0.4 · year ≥ 2024 · Data sourced from Semantic Scholar

34,598 papers | Abstracts: 31,650 (91.5%) | Citations: 34,598 (100.0%) | arXiv: 26,074 (75.4%)

Built: Feb 15, 2026, 5:10 AM AMS

9

papers

81

total citations

papers (9)

Efficient Distance Approximation for Structured High-Dimensional Distributions via Learning

NEURIPS 2020arXiv

On Testing of Samplers

NEURIPS 2020arXiv

Exact ASP Counting with Compact Encodings

Testing Probabilistic Circuits

NEURIPS 2021arXiv

On Scalable Testing of Samplers

NEURIPS 2022arXiv

Taming Discrete Integration via the Boon of Dimensionality

NEURIPS 2020arXiv

Engineering an Exact Pseudo-Boolean Model Counter

Auditable Algorithms for Approximate Model Counting

An Approximate Skolem Function Counter