Hacker News new | ask | show | jobs
Can you train a neural network using an SMT solver? (homes.cs.washington.edu)
5 points by sidereal 2881 days ago