1 citations · 1 across the 1 of their papers we have counts for
1 paper
Gaia Saveri, Luca Bortolussi
Graph Neural Networks (GNNs) have been recently leveraged to solve several logical reasoning tasks. Nevertheless, counting problems such as propositional model counting (#SAT) are…