Data Augmentation for Mathematical Objects

13 July 2023

Papers citing "Data Augmentation for Mathematical Objects"

2 / 2 papers shown

Title
Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD Tereso del Río Matthew England 18 1 0 24 Jan 2024
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 18 12 0 24 Apr 2023