Machine Learning, Naturallanguageprocessing, Deep Learning, Mathematics.
has long been dominated by CAS, Lample and Charton demonstrate the superiority of neural architectures in tasks of function integration and solving 1st & 2nd order differential equations with constraints, evidencing the potential of sequence models in tasks of symbolic reasoning. Notes on