3 papers
cs.SC2025
Tree-Based Deep Learning for Ranking Symbolic Integration Algorithms
Rashid Barket, Matthew England, Jürgen Gerhard
Symbolic indefinite integration in Computer Algebra Systems such as Maple involves selecting the most effective algorithm from multiple available methods. Not all methods will succ…
cs.CY2025
Predicting At-Risk Programming Students in Small Imbalanced Datasets using Synthetic Data
Daniel Flood, Matthew England, Beate Grawemeyer
This study is part of a larger project focused on measuring, understanding, and improving student engagement in programming education. We investigate whether synthetic data generat…
cs.LG2024
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…