Can you train a neural network using an SMT solver?homes.cs.washington.edu5 points·sidereal··0 commentsOpen articleSaveView on HN