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

v1v2 (latest)

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

24 April 2023

Tereso Del Rio Almajano

Matthew England

ArXiv (abs)PDF HTML

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

5 / 5 papers shown

Title
Transformers to Predict the Applicability of Symbolic Integration Routines Rashid Barket Uzma Shafiq Matthew England Juergen Gerhard 46 0 0 31 Oct 2024
Algebraic Representations for Faster Predictions in Convolutional Neural Networks Johnny Joyce Jan Verschelde AI4CE 60 0 0 14 Aug 2024
Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems Dorian Florescu Matthew England 42 1 0 26 Apr 2024
Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs Rashid Barket Matthew England Jurgen Gerhard 53 3 0 23 Apr 2024
Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD Tereso del Río Matthew England 42 1 0 24 Jan 2024