Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness
From MaRDI portal
Publication:5014692
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
- Exact cross-validation for \(k\)NN: application to passive and active learning in classification
- Cross-validation optimization for large scale structured classification kernel methods
- Minimization and estimation of the variance of prediction errors for cross-validation designs
Cites work
- scientific article; zbMATH DE number 3497890 (Why is no real title available?)
- scientific article; zbMATH DE number 2145000 (Why is no real title available?)
- A case study on the parametric occurrence of multiple steady states
- An empirical study of branching heuristics through the lens of global learning rate
- An incremental algorithm for computing cylindrical algebraic decompositions
- Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition
- Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition
- Code optimization in FORM
- Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
- Computing cylindrical algebraic decomposition via triangular decomposition
- Cylindrical algebraic decomposition with equational constraints
- Efficient projection orders for CAD
- Efficient subformula orders for real quantifier elimination of non-prenex formulas
- Identifying the parametric occurrence of multiple steady states for some biological networks
- MaSh: machine learning for Sledgehammer
- Machine learning for first-order theorem proving
- Machine learning for mathematical software
- New Domains for Applied Quantifier Elimination
- Optimising problem formulation for cylindrical algebraic decomposition
- PRMLT
- Partial cylindrical algebraic decomposition for quantifier elimination
- Pattern recognition and machine learning.
- Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
- SATzilla: portfolio-based algorithm selection for SAT
- Scikit-learn: machine learning in Python
- Solving non-linear arithmetic
- The complexity of quantifier elimination and cylindrical algebraic decomposition
- TheoryGuru: a Mathematica package to apply quantifier elimination technology to economics
- Truth table invariant cylindrical algebraic decomposition
- Truth table invariant cylindrical algebraic decomposition by regular chains
- Using machine learning to improve cylindrical algebraic decomposition
- Using the Regular Chains library to build cylindrical algebraic decompositions by projecting and lifting
Cited in
(7)- Variable ordering selection for cylindrical algebraic decomposition with artificial neural networks
- 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
- 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
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)
