90 citations · 228 across the 19 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2021★ 2 cited
Deep Learning and Mathematical Intuition: A Review of (Davies et al. 2021)
Ernest Davis
A recent paper by Davies et al (2021) describes how deep learning (DL) technology was used to find plausible hypotheses that have led to two original mathematical results: one in k…
cs.LG2019★ 13 cited
The Use of Deep Learning for Symbolic Integration: A Review of (Lample and Charton, 2019)
Ernest Davis
Lample and Charton (2019) describe a system that uses deep learning technology to compute symbolic, indefinite integrals, and to find symbolic solutions to first- and second-order…