Can you train a neural network using an SMT solver?homes.cs.washington.edu5 pointssidereal8 years ago