benchmark datasets 1cayley graphs 1finite groups 1graph neural networks 1group property prediction 1spectral graph theory 1
From the 1 of 3 linked papers with an AI index.
3 papers
stat.ML2026
Learning the Graphical Nature of Symmetries
Rashid Barket, Enrico Grimaldi, Yacoub Hendi +3
The paper creates a large dataset of Cayley graphs for finite groups, analyzes their structural and spectral properties, and evaluates how well graph statistics and graph neural ne…
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.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…