Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD

24 January 2024

Papers citing "Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD"

1 / 1 papers shown

Title
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition Lynn Pickering Tereso Del Rio Almajano Matthew England Kelly Cohen 24 12 0 24 Apr 2023