:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kera, Hiroshi, Pelleriti, Nico, Ishihara, Yuki, Zimmer, Max, Pokutta, Sebastian
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Symbolic Computation
Online Access:	https://arxiv.org/abs/2505.23696
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

CALT: A Library for Computer Algebra with Transformer
by: Kera, Hiroshi, et al.
Published: (2025)

Gradient-Weighted, Data-Driven Normalization for Approximate Border Bases -- Concept and Computation
by: Kera, Hiroshi, et al.
Published: (2025)

Geometric Generality of Transformer-Based Gröbner Basis Computation
by: Kambe, Yuta, et al.
Published: (2025)

Monomial-agnostic computation of vanishing ideals
by: Kera, Hiroshi, et al.
Published: (2021)

Approximating Latent Manifolds in Neural Networks via Vanishing Ideals
by: Pelleriti, Nico, et al.
Published: (2025)

Learning Fast Monomial Orders for Gröbner Basis Computations
by: Bunch, R. Caleb, et al.
Published: (2026)

Primary Decomposition of Symmetric Ideals
by: Ishihara, Yuki
Published: (2024)

The Agentic Researcher: A Practical Guide to AI-Assisted Research in Mathematics and Machine Learning
by: Zimmer, Max, et al.
Published: (2026)

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

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

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

Comprehensive Systems for Primary Decompositions of Parametric Ideals
by: Ishihara, Yuki, et al.
Published: (2024)

Interpretable Concept Bottlenecks to Align Reinforcement Learning Agents
by: Delfosse, Quentin, 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)

An Algorithm for Computing the Leading Monomials of a Minimal Groebner Basis of Generic Sequences
by: Sakata, Kosuke, et al.
Published: (2025)

f4ncgb: High Performance Gröbner Basis Computations in Free Algebras
by: Heisinger, Maximilian, et al.
Published: (2025)

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

Software Portability for Computer Algebra
by: Norman, Arthur C., et al.
Published: (2025)

Modular Algorithms For Computing Gröbner Bases in Free Algebras
by: Hofstadler, Clemens, et al.
Published: (2025)

Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs
by: Barket, Rashid, et al.
Published: (2024)

A Basis-preserving Algorithm for Computing the Bezout Matrix of Newton Polynomials
by: Yang, Jing, et al.
Published: (2024)

AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs
by: Ünsal, Mert, et al.
Published: (2024)

UniSymNet: A Unified Symbolic Network Guided by Transformer
by: Li, Xinxin, 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)

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)

LMFD: Latent Monotonic Feature Discovery
by: Toussaint, Guus, et al.
Published: (2025)

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

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

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

Active Symbolic Discovery of Ordinary Differential Equations via Phase Portrait Sketching
by: Jiang, Nan, 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)

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)