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=
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
years
2026 3verdicts
UNVERDICTED 3representative 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.
A Prolog skill enables LLMs to structure placement intent into facts and queries while delegating constraint reasoning to symbolic logic for cloud-edge service placement.
citing papers explorer
-
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.