Can you train a neural network using an SMT solver? #1 Post by sidereal » Thu, Aug 02, 2018, 3:31 PM UTC Can you train a neural network using an SMT solver?homes.cs.washington.edu