Transformers to Predict the Applicability of Symbolic Integration Routines

Rashid Barket, Uzma Shafiq, Matthew England +1

Symbolic integration is a fundamental problem in mathematics: we consider how machine learning may be used to optimise this task in a Computer Algebra System (CAS). We train transf…