Imagen de Portada

AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Ünsal, Mert, Gehr, Timon, Vechev, Martin
Formato:	Preprint
Publicado:	2024
Materias:	Machine Learning Artificial Intelligence Symbolic Computation
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

Unsupervised Symbolic Anomaly Detection
por: Hossain, Md Maruf, et al.
Publicado: (2026)

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

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

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

ViSymRe: Vision Multimodal Symbolic Regression
por: Li, Da, et al.
Publicado: (2024)

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

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

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

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

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

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

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

Automated Loss function Search for Class-imbalanced Node Classification
por: Guo, Xinyu, et al.
Publicado: (2024)

Hierarchical NeuroSymbolic Approach for Comprehensive and Explainable Action Quality Assessment
por: Okamoto, Lauren, et al.
Publicado: (2024)

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

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

Training Stiff Neural Ordinary Differential Equations with Explicit Exponential Integration Methods
por: Fronk, Colby, et al.
Publicado: (2024)

Symbolic Regression with a Learned Concept Library
por: Grayeli, Arya, et al.
Publicado: (2024)

Library learning with e-graphs on jazz harmony
por: Ren, Zeng, et al.
Publicado: (2026)

Learning Interpretable Network Dynamics via Universal Neural Symbolic Regression
por: Hu, Jiao, et al.
Publicado: (2024)

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

SymbolicAI: A framework for logic-based approaches combining generative models and solvers
por: Dinu, Marius-Constantin, et al.
Publicado: (2024)

ANSR-DT: An Adaptive Neuro-Symbolic Learning and Reasoning Framework for Digital Twins
por: Hakim, Safayat Bin, et al.
Publicado: (2025)

Integrating Fuzzy Logic into Deep Symbolic Regression
por: Gerdes, Wout, et al.
Publicado: (2024)

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

Neural Concept Binder
por: Stammer, Wolfgang, et al.
Publicado: (2024)

Generalized Holographic Reduced Representations
por: Yeung, Calvin, et al.
Publicado: (2024)

Towards Learning Abductive Reasoning using VSA Distributed Representations
por: Camposampiero, Giacomo, et al.
Publicado: (2024)

Improving Neural-based Classification with Logical Background Knowledge
por: Ledaguenel, Arthur, et al.
Publicado: (2024)

Terminating Differentiable Tree Experts
por: Thomm, Jonathan, et al.
Publicado: (2024)

Agent-centric learning: from external reward maximization to internal knowledge curation
por: Zhou, Hanqi, et al.
Publicado: (2025)

Scheduling That Speaks: An Interpretable Programmatic Reinforcement Learning Framework
por: Hu, Chengpeng, et al.
Publicado: (2026)

The Neural Compiler: Program-to-Network Translation for Hybrid Scientific Machine Learning
por: Sheneman, Lucas
Publicado: (2026)

Certified geometric robustness -- Super-DeepG
por: Cohen, Noémie, et al.
Publicado: (2026)

Neurosymbolic LoRA: Why and When to Tune Weights vs. Rewrite Prompts
por: Wang, Kevin, et al.
Publicado: (2026)

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

CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance
por: Chen, Yongchao, et al.
Publicado: (2025)