Similar Items: The Polynomial Counting Capabilities of Message Passing Neural Networks
- Categorical Message Passing Language (CaMPL) for programmers
- A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers
- Verification of Neural Networks (Lecture Notes)
- Neural networks as fuzzy logic formulas
- Constant time testability of first-order logic with modulo counting on finitary graphs
- From Tensor Networks to Tractable Circuits, and back