79 citations · 121 across the 27 of their papers we have counts for
1 paper · 2 filters
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…