News for hackers. Stuff that matters.
Re:Modern SAT solvers: fast, neat and underused by mlevental on Monday May 20, 2019 @12:00PM (#19961778)
you don't need differentiability you just need a learning rule. there are learning algorithms that don't use gradient ascent.

There are no comments on this comment yet.