Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness

Cites Work

Title not available (Why is that?)
TheoryGuru: a Mathematica package to apply quantifier elimination technology to economics
PRMLT
Title not available (Why is that?)
Partial cylindrical algebraic decomposition for quantifier elimination
Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
Computing cylindrical algebraic decomposition via triangular decomposition
Title not available (Why is that?)
Solving Non-linear Arithmetic
Title not available (Why is that?)
MaSh: Machine Learning for Sledgehammer
Code optimization in FORM
New Domains for Applied Quantifier Elimination
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
Optimising Problem Formulation for Cylindrical Algebraic Decomposition
Efficient projection orders for CAD
Title not available (Why is that?)
Truth table invariant cylindrical algebraic decomposition
Machine learning for first-order theorem proving
Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition
Title not available (Why is that?)
Identifying the parametric occurrence of multiple steady states for some biological networks
A Case Study on the Parametric Occurrence of Multiple Steady States
Machine learning for mathematical software
An empirical study of branching heuristics through the lens of global learning rate
Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting
Cylindrical algebraic decomposition with equational constraints
Using machine learning to improve cylindrical algebraic decomposition
Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains
Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition

Cited In (7)

New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis
Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition
A Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks
Constrained neural networks for interpretable heuristic creation to optimise computer algebra systems
Lessons on datasets and paradigms in machine learning for symbolic computation: a case study on CAD

Uses Software

SATzilla
Scikit
MaSh
FORM
MaLARea
Theoryguru
PRMLT

   Recommendations

On the accuracy of cross-validation in the classification problem 👍 👎
Estimating the Error Rate of a Prediction Rule: Improvement on Cross-Validation 👍 👎
Performance evaluation of classification algorithms by \(k\)-fold and leave-one-out cross validation 👍 👎
Title not available (Why is that?) 👍 👎
Cross-validation optimization for large scale structured classification kernel methods 👍 👎
Minimization and estimation of the variance of prediction errors for cross-validation designs 👍 👎

This page was built for publication: Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5014692)