Cover Image

A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kurscheidt, Leander, Morettin, Paolo, Sebastiani, Roberto, Passerini, Andrea, Vergari, Antonio
Format:	Preprint
Published:	2025
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Theory and Practice of MAP Inference over Non-Convex Constraints
by: Kurscheidt, Leander, et al.
Published: (2026)

Probabilistic ML Verification via Weighted Model Integration
by: Morettin, Paolo, et al.
Published: (2024)

A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts
by: Bortolotti, Samuele, et al.
Published: (2024)

Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts
by: Marconato, Emanuele, et al.
Published: (2025)

Shortcuts and Identifiability in Concept-based Models from a Neuro-Symbolic Lens
by: Bortolotti, Samuele, et al.
Published: (2025)

BEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcuts
by: Marconato, Emanuele, et al.
Published: (2024)

Neuro-symbolic Learning Yielding Logical Constraints
by: Li, Zenan, et al.
Published: (2024)

Semantic Loss Functions for Neuro-Symbolic Structured Prediction
by: Ahmed, Kareem, et al.
Published: (2024)

Enhancing SMT-based Weighted Model Integration by Structure Awareness
by: Spallitta, Giuseppe, et al.
Published: (2023)

Logically Consistent Language Models via Neuro-Symbolic Integration
by: Calanzone, Diego, et al.
Published: (2024)

Can VLMs Reason Robustly? A Neuro-Symbolic Investigation
by: Chen, Weixin, et al.
Published: (2026)

Towards Logically Consistent Language Models via Probabilistic Reasoning
by: Calanzone, Diego, et al.
Published: (2024)

Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Models
by: Bortolotti, Samuele, et al.
Published: (2026)

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
by: Cosler, Matthias, et al.
Published: (2024)

Scaling Continuous Latent Variable Models as Probabilistic Integral Circuits
by: Gala, Gennaro, et al.
Published: (2024)

Neuro-symbolic Weak Supervision: Theory and Semantics
by: Upreti, Nijesh, et al.
Published: (2025)

Softened Symbol Grounding for Neuro-symbolic Systems
by: Li, Zenan, et al.
Published: (2024)

Tractable Representation Learning with Probabilistic Circuits
by: Braun, Steven, et al.
Published: (2025)

Neuro-symbolic Action Masking for Deep Reinforcement Learning
by: Han, Shuai, et al.
Published: (2026)

Even More Guarantees for Variational Inference in the Presence of Symmetries
by: Zellinger, Lena, et al.
Published: (2026)

On Faster Marginalization with Squared Circuits via Orthonormalization
by: Loconte, Lorenzo, et al.
Published: (2024)

A Sobering Look at Tabular Data Generation via Probabilistic Circuits
by: Scassola, Davide, et al.
Published: (2026)

Learning Neuro-symbolic Programs for Language Guided Robot Manipulation
by: Kalithasan, Namasivayam, et al.
Published: (2022)

A Self-Explainable Heterogeneous GNN for Relational Deep Learning
by: Ferrini, Francesco, et al.
Published: (2024)

Simple Path Structural Encoding for Graph Transformers
by: Airale, Louis, et al.
Published: (2025)

Taming the Sigmoid Bottleneck: Provably Argmaxable Sparse Multi-Label Classification
by: Grivas, Andreas, et al.
Published: (2023)

An Embarrassingly Simple Way to Optimize Orthogonal Matrices at Scale
by: Javaloy, Adrián, et al.
Published: (2026)

Fast and Expressive Multi-Token Prediction with Probabilistic Circuits
by: Grivas, Andreas, et al.
Published: (2025)

Einsum Networks: Fast and Scalable Learning of Tractable Probabilistic Circuits
by: Peharz, Robert, et al.
Published: (2020)

Learning to Recover from Plan Execution Errors during Robot Manipulation: A Neuro-symbolic Approach
by: Kalithasan, Namasivayam, et al.
Published: (2024)

Reconsidering Faithfulness in Regular, Self-Explainable and Domain Invariant GNNs
by: Azzolin, Steve, et al.
Published: (2024)

How to Square Tensor Networks and Circuits Without Squaring Them
by: Loconte, Lorenzo, et al.
Published: (2025)

COPA: Comparing the incomparable in multi-objective model evaluation
by: Javaloy, Adrián, et al.
Published: (2025)

GNNs Meet Sequence Models Along the Shortest-Path: an Expressive Method for Link Prediction
by: Ferrini, Francesco, et al.
Published: (2025)

Beyond Topological Self-Explainable GNNs: A Formal Explainability Perspective
by: Azzolin, Steve, et al.
Published: (2025)

Personalized Algorithmic Recourse with Preference Elicitation
by: De Toni, Giovanni, et al.
Published: (2022)

Generating from Discrete Distributions Using Diffusions: Insights from Random Constraint Satisfaction Problems
by: Bhatt, Alankrita, et al.
Published: (2026)

Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies
by: Baugh, Kexin Gu, et al.
Published: (2025)

Conditional Policy Generator for Dynamic Constraint Satisfaction and Optimization
by: Lee, Wook, et al.
Published: (2025)

Ontology Neural Networks for Topologically Conditioned Constraint Satisfaction
by: Oh, Jaehong
Published: (2026)