Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization

27 February 2013

Papers citing "Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization"

42 / 42 papers shown

Title
Systematic Parameter Decision in Approximate Model Counting Jinping Lei Toru Takisaka Junqiang Peng Mingyu Xiao 99 0 0 08 Apr 2025
Dynamic Range Reduction via Branch-and-Bound Thore Gerlach Nico Piatkowski 27 0 0 17 Sep 2024
Formally Certified Approximate Model Counting Yong Kiam Tan Jiong Yang Mate Soos Magnus O. Myreen Kuldeep S. Meel 141 1 0 17 Jun 2024
Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees Jinzhao Li Nan Jiang Yexiang Xue 58 1 0 16 Sep 2023
Rounding Meets Approximate Model Counting Jiong Yang Kuldeep S. Meel 44 7 0 16 May 2023
Learning Markov Random Fields for Combinatorial Structures via Sampling through Lovász Local Lemma Nan Jiang Yi Gu Yexiang Xue 48 0 0 01 Dec 2022
X-MEN: Guaranteed XOR-Maximum Entropy Constrained Inverse Reinforcement Learning Fan Ding Yeiang Xue 41 7 0 22 Mar 2022
Provable Constrained Stochastic Convex Optimization with XOR-Projected Gradient Descent Fan Ding Yijie Wang Jianzhu Ma Yexiang Xue 89 0 0 22 Mar 2022
The application of Evolutionary and Nature Inspired Algorithms in Data Science and Data Analytics F. Mohammadi Farzan Shenavarmasouleh Khaled Rasheed T. Taha M. Amini H. Arabnia 125 3 0 06 Feb 2022
Projected Model Counting: Beyond Independent Support Jiong Yang Supratik Chakraborty Kuldeep S. Meel 45 4 0 18 Oct 2021
Solution Enumeration by Optimality in Answer Set Programming J. Pajunen Tomi Janhunen 18 7 0 07 Aug 2021
Partition Function Estimation: A Quantitative Study Durgesh Kumar Agrawal Yash Pote Kuldeep S. Meel 71 11 0 24 May 2021
Efficient semidefinite-programming-based inference for binary and multi-class MRFs Chirag Pabbaraju Po-Wei Wang J. Zico Kolter 41 3 0 04 Dec 2020
Taming Discrete Integration via the Boon of Dimensionality Jeffrey M. Dudek Dror Fried Kuldeep S. Meel 57 4 0 21 Oct 2020
Belief Propagation Neural Networks Jonathan Kuck Shuvam Chakraborty Hao Tang Rachel Luo Jiaming Song Ashish Sabharwal Stefano Ermon 98 40 0 01 Jul 2020
Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice Kuldeep S. Meel S. Akshay 35 27 0 30 Apr 2020
Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry T. Bremen Ondrej Kuzelka TPM 33 7 0 15 Jan 2020
Phase Transition Behavior of Cardinality and XOR Constraints Yash Pote Saurabh Joshi Kuldeep S. Meel 46 12 0 22 Oct 2019
Towards Efficient Discrete Integration via Adaptive Quantile Queries Fan Ding Hanjing Wang Ashish Sabharwal Yexiang Xue 46 4 0 13 Oct 2019
Applications of Nature-Inspired Algorithms for Dimension Reduction: Enabling Efficient Data Analytics F. Mohammadi M. Amini H. Arabnia 37 15 0 22 Aug 2019
Evolutionary Algorithms and Efficient Data Analytics for Image Processing F. Mohammadi Farzan Shenavarmasouleh M. Hadi Amini H. Arabnia 27 1 0 23 Jul 2019
Quantitative Verification of Neural Networks And its Security Applications Teodora Baluta Shiqi Shen Shweta Shinde Kuldeep S. Meel P. Saxena AAML 89 105 0 25 Jun 2019
Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting Ralph Abboud .Ismail .Ilkan Ceylan Thomas Lukasiewicz 69 29 0 04 Apr 2019
Empirical Bounds on Linear Regions of Deep Rectifier Networks Thiago Serra Srikumar Ramalingam 74 42 0 08 Oct 2018
High Dimensional Discrete Integration over the Hypergrid R. Maity A. Mazumdar S. Pal 21 1 0 29 Jun 2018
Constrained Counting and Sampling: Bridging the Gap between Theory and Practice Kuldeep S. Meel 31 23 0 06 Jun 2018
Approximate Inference via Weighted Rademacher Complexity Jonathan Kuck Ashish Sabharwal Stefano Ermon 62 7 0 27 Jan 2018
On Hashing-Based Approaches to Approximate DNF-Counting Kuldeep S. Meel Aditya A. Shrotri Moshe Y. Vardi TPM 26 14 0 14 Oct 2017
Lost Relatives of the Gumbel Trick Matej Balog Nilesh Tripuraneni Zoubin Ghahramani Adrian Weller 82 27 0 13 Jun 2017
Knowledge Completion for Generics using Guided Tensor Factorization Hanie Sedghi Ashish Sabharwal 347 13 0 12 Dec 2016
Flexible constrained sampling with guarantees for pattern mining V. Dzyuba Matthijs van Leeuwen Luc de Raedt 74 37 0 28 Oct 2016
Solving Marginal MAP Problems with NP Oracles and Parity Constraints Yexiang Xue Zhiyuan Li Stefano Ermon Carla P. Gomes B. Selman 63 16 0 08 Oct 2016
High Dimensional Inference with Random Maximum A-Posteriori Perturbations Tamir Hazan Francesco Orabona Anand D. Sarwate Subhransu Maji Tommi Jaakkola 75 7 0 10 Feb 2016
Graphical Model Sketch Branislav Kveton Hung Bui Mohammad Ghavamzadeh Georgios Theocharous S. Muthukrishnan S. Sun TPM 27 6 0 09 Feb 2016
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving Kuldeep S. Meel Moshe Y. Vardi Supratik Chakraborty Daniel J. Fremont Sanjit A. Seshia Dror Fried A. Ivrii S. Malik 90 78 0 21 Dec 2015
Approximate Probabilistic Inference via Word-Level Counting Supratik Chakraborty Kuldeep S. Meel Rakesh Mistry Moshe Y. Vardi TPM 75 59 0 24 Nov 2015
Barrier Frank-Wolfe for Marginal Inference Rahul G. Krishnan Simon Lacoste-Julien David Sontag 105 38 0 06 Nov 2015
Tight Variational Bounds via Random Projections and I-Projections L. Hsu Tudor Achim Stefano Ermon 56 4 0 05 Oct 2015
Approximate Counting in SMT and Value Estimation for Probabilistic Programs D. Chistikov Rayna Dimitrova R. Majumdar TPM 67 84 0 03 Nov 2014
Advances in Learning Bayesian Networks of Bounded Treewidth S. Nie Denis Deratani Mauá Cassio Polpo de Campos Q. Ji TPM 184 35 0 05 Jun 2014
Distribution-Aware Sampling and Weighted Model Counting for SAT Supratik Chakraborty Daniel J. Fremont Kuldeep S. Meel Sanjit A. Seshia Moshe Y. Vardi 95 158 0 11 Apr 2014
Optimization With Parity Constraints: From Binary Codes to Discrete Integration Stefano Ermon Carla P. Gomes Ashish Sabharwal B. Selman 85 36 0 26 Sep 2013