Cover Image

Deep Symbolic Optimization: Reinforcement Learning for Symbolic Mathematics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hayes, Conor F., Da Silva, Felipe Leno, Yang, Jiachen, Mundhenk, T. Nathan, Lee, Chak Shing, Pettit, Jacob F., Santiago, Claudio, Kim, Sookyung, Kim, Joanne T., Solis, Ignacio Aravena, Glatt, Ruben, Goncalves, Andre R., Ladd, Alexander, Solak, Ahmet Can, Desautels, Thomas, Faissol, Daniel, Petersen, Brenden K., Landajuela, Mikel
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Neural and Evolutionary Computing Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

DisCo-DSO: Coupling Discrete and Continuous Optimization for Efficient Generative Design in Hybrid Spaces
by: Pettit, Jacob F., et al.
Published: (2024)

Lyn H. Lofland: Exemplary Symbolic Interactionist
by: Eric O. Silva
Published: (2024)

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

Generalized Fixed-Depth Prefix and Postfix Symbolic Regression Grammars
by: Finkelstein, Edward
Published: (2024)

Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability
by: Desmond, Harry
Published: (2026)

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

Symbolic modeling of the Pareto-Optimal sets of two unity gain cells
by: Said Polanco-Martagón
Published: (2016)

Synthesizing Evolving Symbolic Representations for Autonomous Systems
by: Sartor, Gabriele, et al.
Published: (2024)

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)

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

Symbolic Thermodynamics: Entropy, Yield, Irreversibility, and Time
by: Naqvi, Ammar
Published: (2025)

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

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

Symbolic-Neural Soft-Logic Reasoning: Towards Robust and Verifiable Thinking Chains via Cooperative Evolution
by: Wang, Rui, et al.
Published: (2026)

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

Deducing Closed-Form Expressions for Bright-Solitons in Strongly Magnetized Plasmas with Physics Informed Symbolic Regression (PISR)
by: Finkelstein, Edward
Published: (2025)

Advancing Symbolic Discovery on Unsupervised Data: A Pre-training Framework for Non-degenerate Implicit Equation Discovery
by: Yufei, Kuang, et al.
Published: (2025)

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

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

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

A Neuro-Symbolic Approach to Monitoring Salt Content in Food
by: Tayal, Anuja, et al.
Published: (2024)

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

Symbolic Derivation of the Fine-Structure Constant
by: Michael Biele, et al.
Published: (2025)

Symbolic Derivation of the Fine-Structure Constant
by: Michael Biele, et al.
Published: (2025)

Symbolic Derivation of the Fine-Structure Constant
by: Michael Biele, et al.
Published: (2025)

Symbolic Derivation of the Fine-Structure Constant
by: Michael Biele, et al.
Published: (2025)

Symbolic Derivation of the Fine-Structure Constant
by: Michael Biele, et al.
Published: (2025)

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

Symbolic Discovery of Stochastic Differential Equations with Genetic Programming
by: de Vries, Sigur, et al.
Published: (2026)

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

ViTex: Visual Texture Control for Multi-Track Symbolic Music Generation via Discrete Diffusion Models
by: Yi, Xiaoyu, et al.
Published: (2026)

Symbolic versus Modelistic Elements in Scientific Modeling
by: Chuang Liu
Published: (2015)

Structural Preprocessing Method for Nonlinear Differential-Algebraic Equations Using Linear Symbolic Matrices
by: Oki, Taihei, et al.
Published: (2024)

YASPS: A Symbolic Framework for Extensible, High-Performance IPC Simulation
by: Tang, Xuan, et al.
Published: (2026)

Incorporating Structure and Chord Constraints in Symbolic Transformer-based Melodic Harmonization
by: Kaliakatsos-Papakostas, Maximos, et al.
Published: (2025)

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

Divide, Conquer and Verify: Improving Symbolic Execution Performance
by: Scherb, Christopher, et al.
Published: (2023)

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

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
by: Shalyt, Michael, et al.
Published: (2025)