28 citations · 41 across the 9 of their papers we have counts for
1 paper · 1 filter
Daniel Selsam, Nikolaj Bjørner
The NeuroSAT neural network architecture was recently introduced for predicting properties of propositional formulae. When trained to predict the satisfiability of toy problems, it…