An augmented MetiTarski dataset for real quantifier elimination using machine learning

DOI10.1007/978-3-031-42753-4_21MaRDI QIDQ6118846zbMATH OpenOpenAlexFDO

Authors John Hester, Briland Hitaj, Grant Olney Passmore, Sam Owre, Natarajan Shankar, Eric Yeh

Publication date 28 February 2024

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-42753-4_21

zbMATH Keywords

biasgeneralizabilitymachine learning datasetsMetiTarski variable ordering

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Recommendations

• Simple dataset for proof method recommendation in Isabelle/HOL
• Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
• Using machine learning to improve cylindrical algebraic decomposition
• 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

Cites work

• Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
• MetiTarski: An automatic theorem prover for real-valued special functions
• Real Algebraic Strategies for MetiTarski Proofs
• Using machine learning to improve cylindrical algebraic decomposition

Cited in

(4)

• Exploring alternative machine learning models for variable ordering in cylindrical algebraic decomposition
• Lessons on datasets and paradigms in machine learning for symbolic computation: a case study on CAD
• A dataset for suggesting variable orderings for cylindrical algebraic decompositions
• Breaking the data barrier in learning symbolic computation: a case study on variable ordering suggestion for cylindrical algebraic decomposition

This page was built for publication: An augmented MetiTarski dataset for real quantifier elimination using machine learning

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