Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
arXiv:2605.13845v2 Announce Type: cross Abstract: Differentiable Logics are deployed in neuro-symbolic learning tasks as a way of embedding logical constraints in the training objective of neural netw