benchmark datasets 1cayley graphs 1finite groups 1graph neural networks 1group property prediction 1spectral graph theory 1
From the 1 of 5 linked papers with an AI index.
Showing cs.SCShow all
2 papers · 1 filter
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.SC2024
The Liouville Generator for Producing Integrable Expressions
Rashid Barket, Matthew England, Jürgen Gerhard
There has been a growing need to devise processes that can create comprehensive datasets in the world of Computer Algebra, both for accurate benchmarking and for new intersections…