Quantitative Linear Logic for Neuro-Symbolic Learning and Verification

Thomas Flinkow, Ekaterina Komendantskaya, Matteo Capucci +1

Differentiable Logics are deployed in neuro-symbolic learning tasks as a way of embedding logical constraints in the training objective of neural networks. A differentiable logic c…