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

23 April 2024

Papers citing "Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs"

4 / 4 papers shown

Title
Transformers to Predict the Applicability of Symbolic Integration Routines Rashid Barket Uzma Shafiq Matthew England Juergen Gerhard 32 0 0 31 Oct 2024
The Liouville Generator for Producing Integrable Expressions Rashid Barket Matthew England Jurgen Gerhard 26 1 0 17 Jun 2024
Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD Tereso del Río Matthew England 18 1 0 24 Jan 2024
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition Lynn Pickering Tereso Del Rio Almajano Matthew England Kelly Cohen 24 12 0 24 Apr 2023