Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic
Constraints via Message Passing

v1v2 (latest)

Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing

28 February 2020

Antonio Vergari

Guy Van den Broeck

ArXiv (abs)PDF HTML

Papers citing "Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing"

5 / 5 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
What is the Relationship between Tensor Factorizations and Circuits (and How Can We Exploit it)? Lorenzo Loconte Antonio Mari G. Gala Robert Peharz Cassio de Campos Erik Quaeghebeur G. Vessio Antonio Vergari 104 12 0 12 Sep 2024
A Unified Approach to Count-Based Weakly-Supervised Learning Vinay Shukla Zhe Zeng Kareem Ahmed Guy Van den Broeck SSL 105 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
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