Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	del Río, Tereso, England, Matthew
Format:	Preprint
Published:	2024
Subjects:	Symbolic Computation Machine Learning 68W30, 68T05, 03C10 I.2.6; I.1.0
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
by: Pickering, Lynn, et al.
Published: (2023)

Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems
by: Florescu, Dorian, et al.
Published: (2024)

Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints
by: Davenport, James H., et al.
Published: (2026)

Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
by: England, Matthew
Published: (2024)

Architecture-Induced Recoverability Bias in Differentiable Symbolic Regression
by: Gupta, Chakshu, et al.
Published: (2026)

Symbolic Mathematical Computation 1965--1975: The View from a Half-Century Perspective
by: Corless, Robert M., et al.
Published: (2025)

Flat singularities of chained systems, illustrated with an aircraft model
by: Kaminski, Yirmeyahu J., et al.
Published: (2022)

Cylindrical Algebraic Decomposition in Macaulay2
by: Lee, Corin, et al.
Published: (2025)

Improving Graph Embeddings in Machine Learning Using Knowledge Completion with Validation in a Case Study on COVID-19 Spread
by: Napoli, Rosario, et al.
Published: (2025)

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
by: Platzer, André
Published: (2024)

Symbolic Summation of Multivariate Rational Functions
by: Chen, Shaoshi, et al.
Published: (2022)

STRIDE: A Self-Reflective Agent Framework for Reliable Automatic Equation Discovery
by: Su, Jiarui, et al.
Published: (2026)

Iterated Resultants and Rational Functions in Real Quantifier Elimination
by: Davenport, James H., et al.
Published: (2023)

Error Detection and Constraint Recovery in Hierarchical Multi-Label Classification without Prior Knowledge
by: Kricheli, Joshua Shay, et al.
Published: (2024)

Neuro-Symbolic Process Anomaly Detection
by: Gaikwad, Devashish, et al.
Published: (2026)

A Landmark-Aware Visual Navigation Dataset
by: Johnson, Faith, et al.
Published: (2024)

GLL: A Differentiable Graph Learning Layer for Neural Networks
by: Brown, Jason, et al.
Published: (2024)

NeurOptimisation: The Spiking Way to Evolve
by: Cruz-Duarte, Jorge Mario, et al.
Published: (2025)

Machine Learning as Performative Materialist Practice: Thirteen Theses on the Epistemology, Methodology, and Politics of Applied ML
by: De Unánue, Adolfo, et al.
Published: (2026)

NeuBTF: Neural fields for BTF encoding and transfer
by: Rodriguez-Pardo, Carlos, et al.
Published: (2023)

Single-image Reflectance and Transmittance Estimation from Any Flatbed Scanner
by: Rodriguez-Pardo, Carlos, et al.
Published: (2025)

UMat: Uncertainty-Aware Single Image High Resolution Material Capture
by: Rodriguez-Pardo, Carlos, et al.
Published: (2023)

Client-Conditional Federated Learning via Local Training Data Statistics
by: Brännvall, Rickard
Published: (2026)

AC-LoRA: Auto Component LoRA for Personalized Artistic Style Image Generation
by: Cui, Zhipu, et al.
Published: (2025)

A Systematic Evaluation Protocol of Graph-Derived Signals for Tabular Machine Learning
by: Heidrich, Mario, et al.
Published: (2026)

Predicting Music Track Popularity by Convolutional Neural Networks on Spotify Features and Spectrogram of Audio Waveform
by: Falah, Navid, et al.
Published: (2025)

Tricks and Plug-ins for Gradient Boosting in Image Classification
by: Fang, Biyi, et al.
Published: (2025)

Machine Learning-Based Localization Accuracy of RFID Sensor Networks via RSSI Decision Trees and CAD Modeling for Defense Applications
by: Shull, Curtis Lee, et al.
Published: (2025)

DDU-Net: A Domain Decomposition-Based CNN for High-Resolution Image Segmentation on Multiple GPUs
by: Verburg, Corné, et al.
Published: (2024)

Multi-Scale Graph Learning for Anti-Sparse Downscaling
by: Fan, Yingda, et al.
Published: (2025)

Smith normal forms of bivariate polynomial matrices
by: Lu, Dong, et al.
Published: (2025)

Cost-Effective Attention Mechanisms for Low Resource Settings: Necessity & Sufficiency of Linear Transformations
by: Hosseini, Peyman, et al.
Published: (2024)

Deep Global Clustering for Hyperspectral Image Segmentation: Concepts, Applications, and Open Challenges
by: Chang, Yu-Tang, et al.
Published: (2025)

Efficient Symbolic Computation via Hash Consing
by: Zhu, Bowen, et al.
Published: (2025)

FT-NCFM: An Influence-Aware Data Distillation Framework for Efficient VLA Models
by: Chen, Kewei, et al.
Published: (2025)

ATAAT: Adaptive Threat-Aware Adversarial Tuning Framework against Backdoor Attacks on Vision-Language-Action Models
by: Chen, Kewei, et al.
Published: (2026)

FePySR: A Neural Feature Extraction Framework for Efficient and Scalable Symbolic Regression
by: Yu, Zhiming, et al.
Published: (2026)

Order-Robust Class Incremental Learning: Graph-Driven Dynamic Similarity Grouping
by: Lai, Guannan, et al.
Published: (2025)

Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning
by: Xu, Ruoran, et al.
Published: (2026)

On the Algorithmic Recovering of Coefficients in Linearizable Differential Equations
by: Lyakhov, Dmitry A., et al.
Published: (2024)