59 citations · 117 across the 10 of their papers we have counts for
1 paper · 1 filter
Dorian Florescu, Matthew England
We are interested in the application of Machine Learning (ML) technology to improve mathematical software. It may seem that the probabilistic nature of ML tools would invalidate th…