:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Toussaint, Guus, Knobbe, Arno
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Symbolic Computation
Online Access:	https://arxiv.org/abs/2510.19383
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

EDC: Equation Discovery for Classification
by: Toussaint, Guus, et al.
Published: (2025)

Active Symbolic Discovery of Ordinary Differential Equations via Phase Portrait Sketching
by: Jiang, Nan, et al.
Published: (2024)

Neuro-Symbolic ODE Discovery with Latent Grammar Flow
by: Yu, Karin, et al.
Published: (2026)

Multi-Operational Mathematical Derivations in Latent Space
by: Valentino, Marco, et al.
Published: (2023)

Evolutionary Causal Discovery with Relative Impact Stratification for Interpretable Data Analysis
by: Deng, Ou, et al.
Published: (2024)

Grammar-based Ordinary Differential Equation Discovery
by: Yu, Karin L., et al.
Published: (2025)

Enes Causal Discovery
by: Kafantaris, Alexis
Published: (2026)

Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms
by: Kera, Hiroshi, et al.
Published: (2025)

A Fast Interpretable Fuzzy Tree Learner
by: Fumanal-Idocin, Javier, et al.
Published: (2025)

Ontolearn-A Framework for Large-scale OWL Class Expression Learning in Python
by: Demir, Caglar, et al.
Published: (2025)

Primality Testing via Circulant Matrix Eigenvalue Structure: A Novel Approach Using Cyclotomic Field Theory
by: Dinu, Marius-Constantin
Published: (2025)

Tree-Based Deep Learning for Ranking Symbolic Integration Algorithms
by: Barket, Rashid, et al.
Published: (2025)

Taylor-Model Physics-Informed Neural Networks (PINNs) for Ordinary Differential Equations
by: Nagesh, Chandra Kanth, et al.
Published: (2025)

Parsing the Language of Expression: Enhancing Symbolic Regression with Domain-Aware Symbolic Priors
by: Huang, Sikai, et al.
Published: (2025)

Opening the Black-Box: Symbolic Regression with Kolmogorov-Arnold Networks for Energy Applications
by: Panczyk, Nataly R., et al.
Published: (2025)

Computing Linear Regions in Neural Networks with Skip Connections
by: Joyce, Johnny, et al.
Published: (2025)

Shape Constraints in Symbolic Regression using Penalized Least Squares
by: Martinek, Viktor, et al.
Published: (2024)

Breaking the Data Barrier in Learning Symbolic Computation: A Case Study on Variable Ordering Suggestion for Cylindrical Algebraic Decomposition
by: Jing, Rui-Juan, et al.
Published: (2026)

Post-Training Neural Network Pruning using Graph Curvature
by: Tan, Shuhang, et al.
Published: (2026)

Interpretable Concept Bottlenecks to Align Reinforcement Learning Agents
by: Delfosse, Quentin, et al.
Published: (2024)

The Liouville Generator for Producing Integrable Expressions
by: Barket, Rashid, et al.
Published: (2024)

Deep Neural Network for Constraint Acquisition through Tailored Loss Function
by: Vyhmeister, Eduardo, et al.
Published: (2024)

GENSR: Symbolic Regression Based in Equation Generative Space
by: Li, Qian, et al.
Published: (2026)

Transformers to Predict the Applicability of Symbolic Integration Routines
by: Barket, Rashid, et al.
Published: (2024)

Symbolic Equation Solving via Reinforcement Learning
by: Dabelow, Lennart, et al.
Published: (2024)

Expressive Symbolic Regression for Interpretable Models of Discrete-Time Dynamical Systems
by: Iyer, Adarsh, et al.
Published: (2024)

Unit-Aware Genetic Programming for the Development of Empirical Equations
by: Reuter, Julia, et al.
Published: (2024)

Neural Symbolic Regression of Complex Network Dynamics
by: Qiu, Haiquan, et al.
Published: (2024)

Interpreting Contrastive Embeddings in Specific Domains with Fuzzy Rules
by: Fumanal-Idocin, Javier, et al.
Published: (2026)

Rethinking Symbolic Regression Datasets and Benchmarks for Scientific Discovery
by: Matsubara, Yoshitomo, et al.
Published: (2022)

Analytical Lyapunov Function Discovery: An RL-based Generative Approach
by: Zou, Haohan, et al.
Published: (2025)

STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification
by: Kapoor, Parv, et al.
Published: (2025)

Predictive Modeling of Flexible EHD Pumps using Kolmogorov-Arnold Networks
by: Peng, Yanhong, et al.
Published: (2024)

Robust Clustering using Hyperdimensional Computing
by: Ge, Lulu, et al.
Published: (2023)

Learning from Uncertain Data: From Possible Worlds to Possible Models
by: Zhu, Jiongli, et al.
Published: (2024)

Amortized Equation Discovery in Hybrid Dynamical Systems
by: Liu, Yongtuo, et al.
Published: (2024)

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions
by: Zheng, Hongbo, et al.
Published: (2025)

Library Learning Doesn't: The Curious Case of the Single-Use "Library"
by: Berlot-Attwell, Ian, et al.
Published: (2024)

VaSST: Variational Inference for Symbolic Regression using Soft Symbolic Trees
by: Roy, Somjit, et al.
Published: (2026)

LLM4ED: Large Language Models for Automatic Equation Discovery
by: Du, Mengge, et al.
Published: (2024)