Efficient Search-Based Weighted Model Integration

v1v2v3v4 (latest)

Efficient Search-Based Weighted Model Integration

13 March 2019

Guy Van den Broeck

ArXiv (abs)PDF HTML

Papers citing "Efficient Search-Based Weighted Model Integration"

14 / 14 papers shown

Title
A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction Leander Kurscheidt Paolo Morettin Roberto Sebastiani Andrea Passerini Antonio Vergari 164 1 0 25 Mar 2025
A Unified Approach to Count-Based Weakly-Supervised Learning Vinay Shukla Zhe Zeng Kareem Ahmed Guy Van den Broeck SSL 100 6 0 22 Nov 2023
Collapsed Inference for Bayesian Deep Learning Zhe Zeng Guy Van den Broeck FedML BDL UQCV 126 9 0 16 Jun 2023
Declarative Probabilistic Logic Programming in Discrete-Continuous Domains Pedro Zuidberg Dos Martires Luc de Raedt Angelika Kimmig 94 4 0 21 Feb 2023
Enhancing SMT-based Weighted Model Integration by Structure Awareness Giuseppe Spallitta Gabriele Masina Paolo Morettin Andrea Passerini Roberto Sebastiani TPM 58 9 0 13 Feb 2023
SIMPLE: A Gradient Estimator for $k$ -Subset Sampling Kareem Ahmed Zhe Zeng Mathias Niepert Guy Van den Broeck BDL 136 27 0 04 Oct 2022
SMT-based Weighted Model Integration with Structure Awareness Giuseppe Spallitta Gabriele Masina Paolo Morettin Andrea Passerini Roberto Sebastiani TPM 31 8 0 28 Jun 2022
First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs Nitesh Kumar Ondrej Kuzelka Luc de Raedt 21 3 0 26 Jan 2022
Measure Theoretic Weighted Model Integration Ivan Miosic Pedro Zuidberg Dos Martires 16 1 0 25 Mar 2021
Context-Specific Likelihood Weighting Nitesh Kumar Ondrej Kuzelka 51 1 0 24 Jan 2021
Symbolic Logic meets Machine Learning: A Brief Survey in Infinite Domains Vaishak Belle NAI LRM 108 36 0 15 Jun 2020
Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing Zhe Zeng Paolo Morettin Fanqi Yan Antonio Vergari Guy Van den Broeck TPM 113 16 0 28 Feb 2020
Monte Carlo Anti-Differentiation for Approximate Weighted Model Integration Pedro Zuidberg Dos Martires Samuel Kolb TPM 35 2 0 13 Jan 2020
Hybrid Probabilistic Inference with Logical Constraints: Tractability and Message Passing Zhe Zeng Fanqi Yan Paolo Morettin Antonio Vergari Guy Van den Broeck TPM 22 0 0 20 Sep 2019