1 citations · 3 across the 9 of their papers we have counts for
1 paper · 1 filter
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…