Constrained neural networks for interpretable heuristic creation to optimise computer algebra systems
From MaRDI portal
Publication:6637811
DOI10.1007/978-3-031-64529-7_19MaRDI QIDQ6637811
Matthew England, Dorian Florescu
Publication date: 13 November 2024
computer algebrainterpretabilitycylindrical algebraic decompositionmachine learningXAIexplainable AI
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Code optimization in FORM
- Real quantifier elimination is doubly exponential
- TheoryGuru: a Mathematica package to apply quantifier elimination technology to economics
- New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis
- Identifying the parametric occurrence of multiple steady states for some biological networks
- Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
- Machine learning the real discriminant locus
- Optimising Problem Formulation for Cylindrical Algebraic Decomposition
- Efficient projection orders for CAD
- Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness
- Advancing mathematics by guiding human intuition with AI
- Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks
- A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs
- Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition
- Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition
Related Items (1)
This page was built for publication: Constrained neural networks for interpretable heuristic creation to optimise computer algebra systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6637811)
