:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Zhou, Hanqi, Mantiuk, Fryderyk, Nagy, David G., Wu, Charley M.
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Artificial Intelligence Symbolic Computation
Online Access:	https://arxiv.org/abs/2507.22255
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Harmonizing Program Induction with Rate-Distortion Theory
by: Zhou, Hanqi, et al.
Published: (2024)

From Curiosity to Competence: How World Models Interact with the Dynamics of Exploration
by: Mantiuk, Fryderyk, et al.
Published: (2025)

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

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

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

Neural Concept Binder
by: Stammer, Wolfgang, et al.
Published: (2024)

Cognitive Architectures for Language Agents
by: Sumers, Theodore R., et al.
Published: (2023)

Active learning of digenic functions with boolean matrix logic programming
by: Ai, Lun, et al.
Published: (2024)

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

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

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

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

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

Generalized Holographic Reduced Representations
by: Yeung, Calvin, et al.
Published: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Terminating Differentiable Tree Experts
by: Thomm, Jonathan, et al.
Published: (2024)

Sea-cret Agents: Maritime Abduction for Region Generation to Expose Dark Vessel Trajectories
by: Bavikadi, Divyagna, et al.
Published: (2025)

Identifying Causal Effects Under Functional Dependencies
by: Chen, Yizuo, et al.
Published: (2024)

Hyperdimensional Computing for Sustainable Manufacturing: An Initial Assessment
by: Hoang, Danny, et al.
Published: (2025)

APEX$^2$: Adaptive and Extreme Summarization for Personalized Knowledge Graphs
by: Li, Zihao, et al.
Published: (2024)

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

CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning
by: Leang, Joshua Ong Jun, et al.
Published: (2024)

A Complexity Map of Probabilistic Reasoning for Neurosymbolic Classification Techniques
by: Ledaguenel, Arthur, et al.
Published: (2024)

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

Jet Expansions of Residual Computation
by: Chen, Yihong, et al.
Published: (2024)

Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic
by: Zhao, Xufeng, et al.
Published: (2023)

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