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"

5 / 5 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 31 12 0 24 Apr 2023
Neurons on Amoebae Jiakang Bao Yang-Hui He Edward Hirst 38 25 0 07 Jun 2021
Deep Learning for Symbolic Mathematics Guillaume Lample François Charton 3DGS 102 411 0 02 Dec 2019
Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition Matthew England Dorian Florescu 15 25 0 24 Apr 2019
SATzilla: Portfolio-based Algorithm Selection for SAT Lin Xu Frank Hutter Holger H. Hoos Kevin Leyton-Brown 98 975 0 31 Oct 2011