Constrained neural networks for interpretable heuristic creation to optimise computer algebra systems

DOI10.1007/978-3-031-64529-7_19MaRDI QIDQ6637811

Matthew England, Dorian Florescu

Publication date: 13 November 2024

zbMATH Keywords

computer algebrainterpretabilitycylindrical algebraic decompositionmachine learningXAIexplainable AI

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

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)

Algebraic representations for faster predictions in convolutional neural networks

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)