Cover Image

Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Florescu, Dorian, 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

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)

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)

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)

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

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

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

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

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

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)

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

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

NeuBTF: Neural fields for BTF encoding and transfer
by: Rodriguez-Pardo, Carlos, 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)

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

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

Inter-Layer Hessian Analysis of Neural Networks with DAG Architectures
by: Bolshim, Maxim, et al.
Published: (2026)

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

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)

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)

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

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

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

Alpay Algebra IV: Symbiotic Semantics and the Fixed-Point Convergence of Observer Embeddings
by: Kilictas, Bugra, et al.
Published: (2025)

Alpay Algebra V: Multi-Layered Semantic Games and Transfinite Fixed-Point Simulation
by: Kilictas, Bugra, et al.
Published: (2025)

Stochastic Estimation of the Layer-wise Hessian Trace for Monitoring Neural-network Training
by: Bolshim, Maxim, et al.
Published: (2026)

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)

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)

A Multi-Stage Automated Online Network Data Stream Analytics Framework for IIoT Systems
by: Yang, Li, et al.
Published: (2022)

Structured Basis Function Networks: Loss-Centric Multi-Hypothesis Ensembles with Controllable Diversity
by: Dominguez, Alejandro Rodriguez, et al.
Published: (2025)

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

MRMS-Net and LMRMS-Net: Scalable Multi-Representation Multi-Scale Networks for Time Series Classification
by: Alagöz, Celal, et al.
Published: (2026)