Image de couverture de livre

Library learning with e-graphs on jazz harmony

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ren, Zeng, Bowers, Maddy, Guan, Xinyi, Rohrmeier, Martin
Format:	Preprint
Publié:	2026
Sujets:	Machine Learning Artificial Intelligence Symbolic Computation
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Agent-centric learning: from external reward maximization to internal knowledge curation
par: Zhou, Hanqi, et autres
Publié: (2025)

AlphaIntegrator: Transformer Action Search for Symbolic Integration Proofs
par: Ünsal, Mert, et autres
Publié: (2024)

Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks
par: Ludäscher, Bertram, et autres
Publié: (2025)

Unsupervised Symbolic Anomaly Detection
par: Hossain, Md Maruf, et autres
Publié: (2026)

Scheduling That Speaks: An Interpretable Programmatic Reinforcement Learning Framework
par: Hu, Chengpeng, et autres
Publié: (2026)

Breaking the Simplification Bottleneck in Amortized Neural Symbolic Regression
par: Saegert, Paul, et autres
Publié: (2026)

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

Certified geometric robustness -- Super-DeepG
par: Cohen, Noémie, et autres
Publié: (2026)

Neurosymbolic LoRA: Why and When to Tune Weights vs. Rewrite Prompts
par: Wang, Kevin, et autres
Publié: (2026)

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

Auditable Unit-Aware Thresholds in Symbolic Regression via Logistic-Gated Operators
par: Deng, Ou, et autres
Publié: (2025)

Symbolic Foundation Regressor on Complex Networks
par: Liu, Weiting, et autres
Publié: (2025)

Neural Concept Binder
par: Stammer, Wolfgang, et autres
Publié: (2024)

Generalized Holographic Reduced Representations
par: Yeung, Calvin, et autres
Publié: (2024)

Interactive Symbolic Regression through Offline Reinforcement Learning: A Co-Design Framework
par: Tian, Yuan, et autres
Publié: (2025)

Unlocking the Potential of Generative AI through Neuro-Symbolic Architectures: Benefits and Limitations
par: Bougzime, Oualid, et autres
Publié: (2025)

Automated Loss function Search for Class-imbalanced Node Classification
par: Guo, Xinyu, et autres
Publié: (2024)

ViSymRe: Vision Multimodal Symbolic Regression
par: Li, Da, et autres
Publié: (2024)

Towards Learning Abductive Reasoning using VSA Distributed Representations
par: Camposampiero, Giacomo, et autres
Publié: (2024)

UniSymNet: A Unified Symbolic Network Guided by Transformer
par: Li, Xinxin, et autres
Publié: (2025)

Improving Neural-based Classification with Logical Background Knowledge
par: Ledaguenel, Arthur, et autres
Publié: (2024)

EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
par: Jiang, Nan, et autres
Publié: (2025)

Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning
par: Hersche, Michael, et autres
Publié: (2024)

Bootstrapping OTS-Funcimg Pre-training Model (Botfip) -- A Comprehensive Symbolic Regression Framework
par: Chen, Tianhao, et autres
Publié: (2024)

Multi-Operational Mathematical Derivations in Latent Space
par: Valentino, Marco, et autres
Publié: (2023)

Terminating Differentiable Tree Experts
par: Thomm, Jonathan, et autres
Publié: (2024)

Active learning of digenic functions with boolean matrix logic programming
par: Ai, Lun, et autres
Publié: (2024)

Symbolic Regression with a Learned Concept Library
par: Grayeli, Arya, et autres
Publié: (2024)

Identifying Causal Effects Under Functional Dependencies
par: Chen, Yizuo, et autres
Publié: (2024)

Hyperdimensional Computing for Sustainable Manufacturing: An Initial Assessment
par: Hoang, Danny, et autres
Publié: (2025)

APEX$^2$: Adaptive and Extreme Summarization for Personalized Knowledge Graphs
par: Li, Zihao, et autres
Publié: (2024)

Beyond Accuracy: Introducing a Symbolic-Mechanistic Approach to Interpretable Evaluation
par: Habibi, Reza, et autres
Publié: (2026)

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
par: Chen, Michael K.
Publié: (2025)

CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning
par: Leang, Joshua Ong Jun, et autres
Publié: (2024)

Cognitive Architectures for Language Agents
par: Sumers, Theodore R., et autres
Publié: (2023)

A Complexity Map of Probabilistic Reasoning for Neurosymbolic Classification Techniques
par: Ledaguenel, Arthur, et autres
Publié: (2024)

Jet Expansions of Residual Computation
par: Chen, Yihong, et autres
Publié: (2024)

Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic
par: Zhao, Xufeng, et autres
Publié: (2023)

Hierarchical Neuro-Symbolic Decision Transformer
par: Baheri, Ali, et autres
Publié: (2025)

SymbolicAI: A framework for logic-based approaches combining generative models and solvers
par: Dinu, Marius-Constantin, et autres
Publié: (2024)