Cover Image

Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Pickering, Lynn, Almajano, Tereso Del Rio, England, Matthew, Cohen, Kelly
Format:	Preprint
Published:	2023
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

Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD
by: del Río, Tereso, et al.
Published: (2024)

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)

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

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

FePySR: A Neural Feature Extraction Framework for Efficient and Scalable Symbolic Regression
by: Yu, Zhiming, 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)

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

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

Provability in BI's Sequent Calculus is Decidable
by: Gheorghiu, Alexander, et al.
Published: (2021)

ParaRNN: Unlocking Parallel Training of Nonlinear RNNs for Large Language Models
by: Danieli, Federico, et al.
Published: (2025)

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

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

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

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gröbner Systems
by: Shirato, Yusuke, et al.
Published: (2024)

Boosting Test Performance with Importance Sampling--a Subpopulation Perspective
by: Shen, Hongyu, et al.
Published: (2024)

Parametric "Non-nested" Discriminants for Multiplicities of Univariate Polynomials
by: Hong, Hoon, et al.
Published: (2023)

Algebraic Machine Learning: Learning as computing an algebraic decomposition of a task
by: Martin-Maroto, Fernando, 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)

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

An Effective Trajectory Planning and an Optimized Path Planning for a 6-Degree-of-Freedom Robot Manipulator
by: Okazaki, Takumu, et al.
Published: (2025)

FlashSpread: IO-Aware GPU Simulation of Non-Markovian Epidemic Dynamics via Kernel Fusion
by: Shakeri, Heman, et al.
Published: (2026)

On Rational Recursion for Holonomic Sequences
by: Tabuguia, Bertrand Teguia, et al.
Published: (2024)

Normative Conditional Reasoning as a Fragment of HOL
by: Parent, Xavier, et al.
Published: (2023)

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

Computing square roots in quaternion algebras
by: Koprowski, Przemysław
Published: (2023)

A Domain Decomposition-Based CNN-DNN Architecture for Model Parallel Training Applied to Image Recognition Problems
by: Klawonn, Axel, et al.
Published: (2023)

A Monadic Calculus with Episodic Flows
by: Henning, Sotirios
Published: (2024)

Subspace Clustering in Wavelet Packets Domain
by: Kopriva, Ivica, et al.
Published: (2024)

An arithmetic method algorithm optimizing k-nearest neighbors compared to regression algorithms and evaluated on real world data sources
by: Anagnostopoulos, Theodoros, et al.
Published: (2026)

Lightweight Transformer Architectures for Edge Devices in Real-Time Applications
by: Samson, Hema Hariharan
Published: (2026)

On the Curse of Memory in Recurrent Neural Networks: Approximation and Optimization Analysis
by: Li, Zhong, et al.
Published: (2020)

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)

Sat-JEPA-Diff: Bridging Self-Supervised Learning and Generative Diffusion for Remote Sensing
by: Komurcu, Kursat, et al.
Published: (2026)

Interpretable label-free self-guided subspace clustering
by: Kopriva, Ivica
Published: (2024)

Sequence Matters: Harnessing Video Models in 3D Super-Resolution
by: Ko, Hyun-kyu, et al.
Published: (2024)

Banana Ripeness Level Classification using a Simple CNN Model Trained with Real and Synthetic Datasets
by: Chuquimarca, Luis, et al.
Published: (2025)

The Voynich Codex Decoded: Statistical Symbolism and Scroll-Wide Logic
by: Jama, Suhaib A.
Published: (2025)