An augmented MetiTarski dataset for real quantifier elimination using machine learning

DOI10.1007/978-3-031-42753-4_21OpenAlexW4386297665MaRDI QIDQ6118846

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

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)

Cites Work

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

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