Can you train a neural network using an SMT solver? (homes.cs.washington.edu) 5 points by sidereal 8y ago ↗ HN
0 comments
[ 3.4 ms ] story [ 13.5 ms ] threadNo comments yet.