approximate counting

Counting and Sampling Subsets Using Block Covers UAI 2026 Approximating the total variation distance between spin systems COLT 2025 Towards Real-Time Approximate Counting AAAI 2025 An Approximate Skolem Function Counter AAAI 2024 Engineering an Efficient Approximate DNF-Counter IJCAI 2023 ApproxASP – a Scalable Approximate Answer Set Counter AAAI 2022 Hardness of Identity Testing for Restricted Boltzmann Machines and Potts models JMLR 2021 Testing Probabilistic Circuits NeurIPS 2021 Hardness of Identity Testing for Restricted Boltzmann Machines and Potts models COLT 2020 Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting AAAI 2020 On Testing of Samplers NeurIPS 2020 Taming Discrete Integration via the Boon of Dimensionality NeurIPS 2020 BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting AAAI 2019 Fast Relational Probabilistic Inference and Learning: Approximate Counting via Hypergraphs AAAI 2019 On the Hardness of Probabilistic Inference Relaxations AAAI 2019 A Scalable Scheme for Counting Linear Extensions IJCAI 2018 Streaming Pointwise Mutual Information NeurIPS 2009