paper-with-me

Papers

From Sets to Multisets: Provable Variational Inference for Probabilistic Integer Submodular Models

2020-06-01 · ICML 2020 1 · Aytunc Sahin, Yatao Bian, Joachim M. Buhmann, Andreas Krause

Submodular functions have been studied extensively in machine learning and data mining. In particular, the optimization of submodular functions over the integer lattice (integer submodular functions) has recently attracted much interest, because this domain relates naturally to many practical problem settings, such as multilabel graph cut, budget allocation and revenue maximization with discrete assignments. In contrast, the use of these functions for probabilistic modeling has received surprisingly little attention so far. In this work, we firstly propose the Generalized Multilinear Extension, a continuous DR-submodular extension for integer submodular functions. We study central properties of this extension and formulate a new probabilistic model which is defined through integer submodular functions. Then, we introduce a block-coordinate ascent algorithm to perform approximate inference for those class of models. Finally, we demonstrate its effectiveness and viability on several real-world social connection graph datasets with integer submodular objectives.

📄 PDF Abstract BibTeX arXiv:2006.01293

Code (0)

등록된 구현이 없습니다.

Tasks

Variational Inference

Similar Papers 제목 키워드 기반

Federated Generalised Variational Inference: A Robust Probabilistic Federated Learning Framework

2025-02-02 · Terje Mildner, Oliver Hamelijnck, Paris Giampouras, Theodoros Damoulas

We introduce FedGVI, a probabilistic Federated Learning (FL) framework that is robust to both prior and likelihood misspecification. FedGVI addresses limitations in both frequentist and Bayesian FL by providing unbiased …

Federated LearningUncertainty QuantificationVariational Inference

Provable Gradient Variance Guarantees for Black-Box Variational Inference

2019-06-19 · NeurIPS 2019 12 · Justin Domke

Recent variational inference methods use stochastic gradient estimators whose variance is not well understood. Theoretical guarantees for these estimators are important to understand when these methods will or will not w…

Variational Inference

Proof-Based Synthesis of Sorting Algorithms Using Multisets in Theorema

2019-09-04 · Isabela Drămnesc, Tudor Jebelean

Using multisets, we develop novel techniques for mechanizing the proofs of the synthesis conjectures for list-sorting algorithms, and we demonstrate them in the Theorema system. We use the classical principle of extracti…

Universal and Determined Constructors of Multisets of Objects

2015-10-14 · Dmytro Terletskyi

This paper contains analysis of creation of sets and multisets as an approach for modeling of some aspects of human thinking. The creation of sets is considered within constructive object-oriented version of set theory (…

Object

diff-SAT -- A Software for Sampling and Probabilistic Reasoning for SAT and Answer Set Programming

2021-01-03 · Matthias Nickles

This paper describes diff-SAT, an Answer Set and SAT solver which combines regular solving with the capability to use probabilistic clauses, facts and rules, and to sample an optimal world-view (multiset of satisfying Bo…