A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction. - Leander Kurscheidt; Paolo Morettin; Roberto Sebastiani; Andrea Passerini; Antonio Vergari (UAI, 2025)