Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems

Dorian Florescu, Matthew England

We present a new methodology for utilising machine learning technology in symbolic computation research. We explain how a well known human-designed heuristic to make the choice of…