Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition

no code implementations • 24 Apr 2023 • Lynn Pickering, Tereso Del Rio Almajano, Matthew England, Kelly Cohen

In recent years there has been increased use of machine learning (ML) techniques within mathematics, including symbolic computation where it may be applied safely to optimise or select algorithms.

Explainable Artificial Intelligence (XAI)