DeepLog is a universal PyTorch backend that compiles diverse neurosymbolic languages into arithmetic circuits to integrate logic with deep learning.
arXiv preprint arXiv:2507.11127 , year=
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Binarized neural network neuron threshold tests and last-layer scores can be equivalently expressed as Sugeno integrals on binary inputs, yielding explicit set-function and rule-based representations.
citing papers explorer
-
DeepLog: A Software Framework for Modular Neurosymbolic AI
DeepLog is a universal PyTorch backend that compiles diverse neurosymbolic languages into arithmetic circuits to integrate logic with deep learning.
-
A Sugeno Integral View of Binarized Neural Network Inference
Binarized neural network neuron threshold tests and last-layer scores can be equivalently expressed as Sugeno integrals on binary inputs, yielding explicit set-function and rule-based representations.