← Search

Gabriele Masina

2 accepted papers

2026

The Theory and Practice of MAP Inference over Non-Convex Constraints

ICML 2026poster

In many safety-critical settings, probabilistic ML systems have to make predictions subject to algebraic constraints, e.g., predicting the most likely trajectory that does not cross obstacles. These real-world constraints are rarely convex, nor the densities considered are (log-)concave. This makes …

Cited by 0SourceScholar
2022

SMT-based weighted model integration with structure awareness

UAI 2022poster

Weighted Model Integration (WMI) is a popular formalism aimed at unifying approaches for probabilistic inference in hybrid domains, involving logical and algebraic constraints. Despite a considerable amount of recent work, allowing WMI algorithms to scale with the complexity of the hybrid problem is…