A Scalable Approach to Pr
A Scalable Approach to Probabilistic Neuro-Symbolic Verification
A Scalable Approach to Probabilistic Neuro-Symbolic Verification
arXiv:2502.03274v1 Announce Type: new
Abstract: Neuro-Symbolic Artificial Intelligence (NeSy AI) has emerged as a promising direction for integrating neural learning with symbolic reasoning. In the probabilistic variant of such systems, a neural network first extracts a set of symbols from sub-symb…
