2 papers
cs.LG2026
The Theory and Practice of MAP Inference over Non-Convex Constraints
Leander Kurscheidt, Gabriele Masina, Roberto Sebastiani +1
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 cros…
cs.LG2025
A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction
Leander Kurscheidt, Paolo Morettin, Roberto Sebastiani +2
In safety-critical applications, guaranteeing the satisfaction of constraints over continuous environments is crucial, e.g., an autonomous agent should never crash into obstacles o…