Learning neuro-symbolic convergent term rewriting systems
Fuente:
arXiv
Guardado en:
| Autores principales: | Petruzzellis, Flavio, Testolin, Alberto, Sperduti, Alessandro |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Assessing the Emergent Symbolic Reasoning Abilities of Llama Large Language Models
por: Petruzzellis, Flavio, et al.
Publicado: (2024)
por: Petruzzellis, Flavio, et al.
Publicado: (2024)
A Neural Rewriting System to Solve Algorithmic Problems
por: Petruzzellis, Flavio, et al.
Publicado: (2024)
por: Petruzzellis, Flavio, et al.
Publicado: (2024)
Benchmarking GPT-4 on Algorithmic Problems: A Systematic Evaluation of Prompting Strategies
por: Petruzzellis, Flavio, et al.
Publicado: (2024)
por: Petruzzellis, Flavio, et al.
Publicado: (2024)
Can neural networks do arithmetic? A survey on the elementary numerical skills of state-of-the-art deep learning models
por: Testolin, Alberto
Publicado: (2023)
por: Testolin, Alberto
Publicado: (2023)
Hierarchical Planning for Complex Tasks with Knowledge Graph-RAG and Symbolic Verification
por: Cornelio, Cristina, et al.
Publicado: (2025)
por: Cornelio, Cristina, et al.
Publicado: (2025)
Industrial brain: a human-like autonomous neuro-symbolic cognitive decision-making system
por: Wang, Junping, et al.
Publicado: (2025)
por: Wang, Junping, et al.
Publicado: (2025)
Explainable Moral Values: a neuro-symbolic approach to value classification
por: Lazzari, Nicolas, et al.
Publicado: (2024)
por: Lazzari, Nicolas, et al.
Publicado: (2024)
Sequential Enumeration in Large Language Models
por: Hou, Kuinan, et al.
Publicado: (2025)
por: Hou, Kuinan, et al.
Publicado: (2025)
Neuro-symbolic Learning Yielding Logical Constraints
por: Li, Zenan, et al.
Publicado: (2024)
por: Li, Zenan, et al.
Publicado: (2024)
Exact Computation of Any-Order Shapley Interactions for Graph Neural Networks
por: Muschalik, Maximilian, et al.
Publicado: (2025)
por: Muschalik, Maximilian, et al.
Publicado: (2025)
Neuro-symbolic Action Masking for Deep Reinforcement Learning
por: Han, Shuai, et al.
Publicado: (2026)
por: Han, Shuai, et al.
Publicado: (2026)
A tensor network formalism for neuro-symbolic AI
por: Goessmann, Alex, et al.
Publicado: (2026)
por: Goessmann, Alex, et al.
Publicado: (2026)
ReCQR: Incorporating conversational query rewriting to improve Multimodal Image Retrieval
por: Hu, Yuan, et al.
Publicado: (2026)
por: Hu, Yuan, et al.
Publicado: (2026)
Learning Neuro-symbolic Programs for Language Guided Robot Manipulation
por: Kalithasan, Namasivayam, et al.
Publicado: (2022)
por: Kalithasan, Namasivayam, et al.
Publicado: (2022)
Probabilistic Abduction for Visual Abstract Reasoning via Learning Rules in Vector-symbolic Architectures
por: Hersche, Michael, et al.
Publicado: (2024)
por: Hersche, Michael, et al.
Publicado: (2024)
Curiosity-driven RL for symbolic equation solving
por: O'Keeffe, Kevin P.
Publicado: (2025)
por: O'Keeffe, Kevin P.
Publicado: (2025)
Neuro-symbolic Weak Supervision: Theory and Semantics
por: Upreti, Nijesh, et al.
Publicado: (2025)
por: Upreti, Nijesh, et al.
Publicado: (2025)
Softened Symbol Grounding for Neuro-symbolic Systems
por: Li, Zenan, et al.
Publicado: (2024)
por: Li, Zenan, et al.
Publicado: (2024)
Augmenting learning in neuro-embodied systems through neurobiological first principles
por: Rodriguez-Garcia, Alejandro, et al.
Publicado: (2024)
por: Rodriguez-Garcia, Alejandro, et al.
Publicado: (2024)
Discrete, compositional, and symbolic representations through attractor dynamics
por: Nam, Andrew, et al.
Publicado: (2023)
por: Nam, Andrew, et al.
Publicado: (2023)
LLM-ABBA: Understanding time series via symbolic approximation
por: Chen, Xinye, et al.
Publicado: (2024)
por: Chen, Xinye, et al.
Publicado: (2024)
Quantifying Sensitivity for Tree Ensembles: A symbolic and compositional approach
por: Akshay, S., et al.
Publicado: (2026)
por: Akshay, S., et al.
Publicado: (2026)
Automated discovery of symbolic laws governing skill acquisition from naturally occurring data
por: Liu, Sannyuya, et al.
Publicado: (2024)
por: Liu, Sannyuya, et al.
Publicado: (2024)
Pareto-Optimal Estimation and Policy Learning on Short-term and Long-term Treatment Effects
por: Wang, Yingrong, et al.
Publicado: (2024)
por: Wang, Yingrong, et al.
Publicado: (2024)
Benchmarking symbolic regression constant optimization schemes
por: Reis, L. G. A dos, et al.
Publicado: (2024)
por: Reis, L. G. A dos, et al.
Publicado: (2024)
When can transformers reason with abstract symbols?
por: Boix-Adsera, Enric, et al.
Publicado: (2023)
por: Boix-Adsera, Enric, et al.
Publicado: (2023)
Discovering physical laws with parallel symbolic enumeration
por: Ruan, Kai, et al.
Publicado: (2024)
por: Ruan, Kai, et al.
Publicado: (2024)
Hey Pentti, We Did It Again!: Differentiable vector-symbolic types that prove polynomial termination
por: Tomkins-Flanagan, Eilene, et al.
Publicado: (2025)
por: Tomkins-Flanagan, Eilene, et al.
Publicado: (2025)
Transformers converge to invariant algorithmic cores
por: Schiffman, Joshua S.
Publicado: (2026)
por: Schiffman, Joshua S.
Publicado: (2026)
Self-Supervised Contrastive Learning for Long-term Forecasting
por: Park, Junwoo, et al.
Publicado: (2024)
por: Park, Junwoo, et al.
Publicado: (2024)
Analysis of Dirichlet Energies as Over-smoothing Measures
por: Bison, Anna, et al.
Publicado: (2025)
por: Bison, Anna, et al.
Publicado: (2025)
A Spectral Interpretation of Redundancy in a Graph Reservoir
por: Bison, Anna, et al.
Publicado: (2025)
por: Bison, Anna, et al.
Publicado: (2025)
A Causal Lens for Learning Long-term Fair Policies
por: Lear, Jacob, et al.
Publicado: (2025)
por: Lear, Jacob, et al.
Publicado: (2025)
Partial Identifiability and Misspecification in Inverse Reinforcement Learning
por: Skalse, Joar, et al.
Publicado: (2024)
por: Skalse, Joar, et al.
Publicado: (2024)
Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies
por: Baugh, Kexin Gu, et al.
Publicado: (2025)
por: Baugh, Kexin Gu, et al.
Publicado: (2025)
Bellman operator convergence enhancements in reinforcement learning algorithms
por: Kadurha, David Krame, et al.
Publicado: (2025)
por: Kadurha, David Krame, et al.
Publicado: (2025)
Can LLMs predict the convergence of Stochastic Gradient Descent?
por: Zekri, Oussama, et al.
Publicado: (2024)
por: Zekri, Oussama, et al.
Publicado: (2024)
Task-Core Memory Management and Consolidation for Long-term Continual Learning
por: Huai, Tianyu, et al.
Publicado: (2025)
por: Huai, Tianyu, et al.
Publicado: (2025)
Partial Identifiability in Inverse Reinforcement Learning For Agents With Non-Exponential Discounting
por: Skalse, Joar, et al.
Publicado: (2024)
por: Skalse, Joar, et al.
Publicado: (2024)
To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning
por: Sprague, Zayne, et al.
Publicado: (2024)
por: Sprague, Zayne, et al.
Publicado: (2024)
Ejemplares similares
-
Assessing the Emergent Symbolic Reasoning Abilities of Llama Large Language Models
por: Petruzzellis, Flavio, et al.
Publicado: (2024) -
A Neural Rewriting System to Solve Algorithmic Problems
por: Petruzzellis, Flavio, et al.
Publicado: (2024) -
Benchmarking GPT-4 on Algorithmic Problems: A Systematic Evaluation of Prompting Strategies
por: Petruzzellis, Flavio, et al.
Publicado: (2024) -
Can neural networks do arithmetic? A survey on the elementary numerical skills of state-of-the-art deep learning models
por: Testolin, Alberto
Publicado: (2023) -
Hierarchical Planning for Complex Tasks with Knowledge Graph-RAG and Symbolic Verification
por: Cornelio, Cristina, et al.
Publicado: (2025)