Cover Image

Transformers to Predict the Applicability of Symbolic Integration Routines

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Barket, Rashid, Shafiq, Uzma, England, Matthew, Gerhard, Juergen
Format:	Preprint
Published:	2024
Subjects:	Machine Learning Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

UniSymNet: A Unified Symbolic Network Guided by Transformer
by: Li, Xinxin, et al.
Published: (2025)

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

Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning
by: Işık, İlker, et al.
Published: (2026)

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)

Deep Symbolic Optimization: Reinforcement Learning for Symbolic Mathematics
by: Hayes, Conor F., et al.
Published: (2025)

Hierarchical Neuro-Symbolic Decision Transformer
by: Baheri, Ali, et al.
Published: (2025)

EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
by: Jiang, Nan, et al.
Published: (2025)

Unsupervised Symbolic Anomaly Detection
by: Hossain, Md Maruf, et al.
Published: (2026)

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

Symbolic Foundation Regressor on Complex Networks
by: Liu, Weiting, et al.
Published: (2025)

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

ViSymRe: Vision Multimodal Symbolic Regression
by: Li, Da, et al.
Published: (2024)

Breaking the Simplification Bottleneck in Amortized Neural Symbolic Regression
by: Saegert, Paul, et al.
Published: (2026)

Auditable Unit-Aware Thresholds in Symbolic Regression via Logistic-Gated Operators
by: Deng, Ou, et al.
Published: (2025)

Unlocking the Potential of Generative AI through Neuro-Symbolic Architectures: Benefits and Limitations
by: Bougzime, Oualid, et al.
Published: (2025)

Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning
by: Hersche, Michael, et al.
Published: (2024)

Interactive Symbolic Regression through Offline Reinforcement Learning: A Co-Design Framework
by: Tian, Yuan, et al.
Published: (2025)

Ontology-Guided Neuro-Symbolic Inference: Grounding Language Models with Mathematical Domain Knowledge
by: Labre, Marcelo
Published: (2026)

Symbolic Regression with Multimodal Large Language Models and Kolmogorov Arnold Networks
by: Harvey, Thomas R., et al.
Published: (2025)

Bootstrapping OTS-Funcimg Pre-training Model (Botfip) -- A Comprehensive Symbolic Regression Framework
by: Chen, Tianhao, et al.
Published: (2024)

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)

Knowledge Integration for Physics-informed Symbolic Regression Using Pre-trained Large Language Models
by: Taskin, Bilge, et al.
Published: (2025)

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

Beyond Accuracy: Introducing a Symbolic-Mechanistic Approach to Interpretable Evaluation
by: Habibi, Reza, et al.
Published: (2026)

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

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

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

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