TY - RPRT TI - A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction AU - Leander Kurscheidt AU - Paolo Morettin AU - Roberto Sebastiani AU - Andrea Passerini AU - Antonio Vergari PY - 2025 UR - https://arxiv.org/abs/2503.19466 ID - 2503.19466 ER -