Re:Deep Learning for Symbolic Mathematics
by wendyshu on Thursday September 26, 2019 @10:34PM
(#21087906)
How are they going to generate training data if verifying solutions is hard?
Re:Deep Learning for Symbolic Mathematics
by nfltn on Thursday September 26, 2019 @11:39PM
(#21088192)
Some of these decision problems have thousands of examples because they correspond to industrially relevant problems. So, not automatically generated all at once, but gleaned from people who have been using CAS for decades to solve specific problems.
Still, I fear, the numbers are currently too small to get past the information bottleneck (mere thousands). We'll see.
To explain: the thing that's super interesting to me about this paper (i.e., "strong result" vs. "best paper contender") is not integration per se. It's the possible applications of the method to problems with much, much, much higher computational complexity than integration. On those problems, validating the correctness of a solution is also intractable. In those cases, a sound function approximation approach would be an absolute game changer for symbolic methods.
(Not that integration isn't interesting as well.)