Machine Learning, Naturallanguageprocessing, Deep Learning, Mathematics.
mathematics tasks, driven by a backend of complex algorithms such as the 100-page long Risch algorithm for indefinite integration. However, these semi-algorithms are far from perfect: failing in specific cases and sometimes timing out indefinitely. In their paper, Lample and Charton develop a