Symbolic logic meets machine learning: A brief survey in infinite domains

V Belle - International conference on scalable uncertainty …, 2020 - Springer
The tension between deduction and induction is perhaps the most fundamental issue in
areas such as philosophy, cognition and artificial intelligence (AI). The deduction camp …

Scaling exact inference for discrete probabilistic programs

S Holtzen, G Van den Broeck, T Millstein - Proceedings of the ACM on …, 2020 - dl.acm.org
Probabilistic programming languages (PPLs) are an expressive means of representing and
reasoning about probabilistic models. The computational challenge of probabilistic …

Collapsed inference for bayesian deep learning

Z Zeng, G Van den Broeck - Advances in Neural …, 2023 - proceedings.neurips.cc
Bayesian neural networks (BNNs) provide a formalism to quantify and calibrate uncertainty
in deep learning. Current inference approaches for BNNs often resort to few-sample …

SIMPLE: A Gradient Estimator for -Subset Sampling

K Ahmed, Z Zeng, M Niepert, GV Broeck - arxiv preprint arxiv:2210.01941, 2022 - arxiv.org
$ k $-subset sampling is ubiquitous in machine learning, enabling regularization and
interpretability through sparsity. The challenge lies in rendering $ k $-subset sampling …

A Unified Approach to Count-Based Weakly Supervised Learning

V Shukla, Z Zeng, K Ahmed… - Advances in Neural …, 2023 - proceedings.neurips.cc
High-quality labels are often very scarce, whereas unlabeled data with inferred weak labels
occurs more naturally. In many cases, these weak labels dictate the frequency of each …

[HTML][HTML] Enhancing SMT-based Weighted Model Integration by structure awareness

G Spallitta, G Masina, P Morettin, A Passerini… - Artificial Intelligence, 2024 - Elsevier
The development of efficient exact and approximate algorithms for probabilistic inference is
a long-standing goal of artificial intelligence research. Whereas substantial progress has …

Lifted reasoning meets weighted model integration

J Feldstein, V Belle - Uncertainty in Artificial Intelligence, 2021 - proceedings.mlr.press
Exact inference in probabilistic graphical models is particularly challenging in the presence
of relational and other deterministic constraints. For discrete domains, weighted model …

Scaling up hybrid probabilistic inference with logical and arithmetic constraints via message passing

Z Zeng, P Morettin, F Yan, A Vergari… - International …, 2020 - proceedings.mlr.press
Weighted model integration (WMI) is an appealing framework for probabilistic inference: it
allows for expressing the complex dependencies in real-world problems, where variables …

Probabilistic inference with algebraic constraints: Theoretical limits and practical approximations

Z Zeng, P Morettin, F Yan, A Vergari… - Advances in …, 2020 - proceedings.neurips.cc
Weighted model integration (WMI) is a framework to perform advanced probabilistic
inference on hybrid domains, ie, on distributions over mixed continuous-discrete random …

Hybrid probabilistic inference with logical and algebraic constraints: a survey

P Morettin, P Zuidberg Dos Martires, S Kolb… - IJCAI, 2021 - iris.unitn.it
Real world decision making problems often involve both discrete and continuous variables
and require a combination of probabilistic and deterministic knowledge. Stimulated by …