Picture for Matthew England

Matthew England

Tree-Based Deep Learning for Ranking Symbolic Integration Algorithms

Add code
Aug 08, 2025
Viaarxiv icon

Transformers to Predict the Applicability of Symbolic Integration Routines

Add code
Oct 31, 2024
Figure 1 for Transformers to Predict the Applicability of Symbolic Integration Routines
Figure 2 for Transformers to Predict the Applicability of Symbolic Integration Routines
Figure 3 for Transformers to Predict the Applicability of Symbolic Integration Routines
Figure 4 for Transformers to Predict the Applicability of Symbolic Integration Routines
Viaarxiv icon

The Liouville Generator for Producing Integrable Expressions

Add code
Jun 17, 2024
Viaarxiv icon

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

Add code
Apr 26, 2024
Viaarxiv icon

Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs

Add code
Apr 23, 2024
Figure 1 for Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs
Figure 2 for Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs
Figure 3 for Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs
Figure 4 for Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs
Viaarxiv icon

Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD

Add code
Jan 24, 2024
Viaarxiv icon

Data Augmentation for Mathematical Objects

Add code
Jul 13, 2023
Viaarxiv icon

Generating Elementary Integrable Expressions

Add code
Jun 27, 2023
Viaarxiv icon

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

Add code
Apr 24, 2023
Figure 1 for Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
Figure 2 for Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
Figure 3 for Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
Figure 4 for Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
Viaarxiv icon

SC-Square: Future Progress with Machine Learning?

Add code
Sep 09, 2022
Viaarxiv icon