News for hackers. Stuff that matters.
Re:Symbolic mathematics finally yields to neural networks by risubramanian on Tuesday May 26, 2020 @05:36PM (#23316706)
Premkumar Devanbu at UC Davis works in this area. I've taken his graduate course on the subject.

There are no comments on this comment yet.