Similar Items: From Tensor Networks to Tractable Circuits, and back
- Verification of Neural Networks (Lecture Notes)
- Neural networks as fuzzy logic formulas
- Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
- Glivenko's theorems from an ecumenical perspective
- Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT
- Automaton-based Characterisations of First Order Logic over Infinite Trees