:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Xie, Keqin
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2601.00125
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Mathematicians in the age of AI
by: Avigad, Jeremy
Published: (2026)

Compositional Neuro-Symbolic Reasoning
by: Das, Anugyan, et al.
Published: (2026)

Federated Neuro-Symbolic Learning
by: Xing, Pengwei, et al.
Published: (2023)

LiveMathematicianBench: A Live Benchmark for Mathematician-Level Reasoning with Proof Sketches
by: He, Linyang, et al.
Published: (2026)

Assured Autonomy with Neuro-Symbolic Perception
by: Hallyburton, R. Spencer, et al.
Published: (2025)

Neuro-Symbolic AI for Military Applications
by: Hagos, Desta Haileselassie, et al.
Published: (2024)

LPC-SM: Local Predictive Coding and Sparse Memory for Long-Context Language Modeling
by: Xie, Keqin
Published: (2026)

Neuro-Symbolic Rule Lists
by: Xu, Sascha, et al.
Published: (2024)

Large Language Models for Mathematicians
by: Frieder, Simon, et al.
Published: (2023)

Neuro-Symbolic Verification on Instruction Following of LLMs
by: Su, Yiming, et al.
Published: (2026)

Semirings for Probabilistic and Neuro-Symbolic Logic Programming
by: Derkinderen, Vincent, et al.
Published: (2024)

Neuro-Symbolic Data Generation for Math Reasoning
by: Li, Zenan, et al.
Published: (2024)

A Semantic Framework for Neuro-Symbolic Computing
by: Odense, Simon, et al.
Published: (2022)

AI Mathematician: Towards Fully Automated Frontier Mathematical Research
by: Liu, Yuanhang, et al.
Published: (2025)

Machine learning and information theory concepts towards an AI Mathematician
by: Bengio, Yoshua, et al.
Published: (2024)

LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation
by: Li, Bowen, et al.
Published: (2024)

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
by: Alhessi, Yousef, et al.
Published: (2025)

An Agentic Framework for Neuro-Symbolic Programming
by: Nafar, Aliakbar, et al.
Published: (2026)

Taxonomic Networks: A Representation for Neuro-Symbolic Pairing
by: Wang, Zekun, et al.
Published: (2025)

Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning
by: Zhang, Xuan, et al.
Published: (2025)

Neuro-Symbolic AI in 2024: A Systematic Review
by: Colelough, Brandon C., et al.
Published: (2025)

A Challenge to Build Neuro-Symbolic Video Agents
by: Shah, Sahil, et al.
Published: (2025)

Declarative Design of Neural Predicates in Neuro-Symbolic Systems
by: Hinnerichs, Tilman, et al.
Published: (2024)

Neuro-Symbolic Entity Alignment via Variational Inference
by: Chen, Shengyuan, et al.
Published: (2024)

AXIOM: A Trust-First Neuro-Symbolic Execution Architecture for Verifiable Mathematical Reasoning
by: Bruno, Alessio
Published: (2026)

A Learnability Analysis on Neuro-Symbolic Learning
by: He, Hao-Yuan, et al.
Published: (2025)

Softened Symbol Grounding for Neuro-symbolic Systems
by: Li, Zenan, et al.
Published: (2024)

Towards Neuro-Symbolic Video Understanding
by: Choi, Minkyu, et al.
Published: (2024)

Neuro-Symbolic Decoding of Neural Activity
by: Wang, Yanchen, et al.
Published: (2026)

Neuro-Symbolic Concepts
by: Mao, Jiayuan, et al.
Published: (2025)

Neuro-Symbolic Learning of Answer Set Programs from Raw Data
by: Cunnington, Daniel, et al.
Published: (2022)

Neuro-Symbolic Imitation Learning: Discovering Symbolic Abstractions for Skill Learning
by: Keller, Leon, et al.
Published: (2025)

Bayesian Inverse Physics for Neuro-Symbolic Robot Learning
by: Arriaga, Octavio, et al.
Published: (2025)

Aligning Progress and Feasibility: A Neuro-Symbolic Dual Memory Framework for Long-Horizon LLM Agents
by: Wen, Bin, et al.
Published: (2026)

Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts
by: Marconato, Emanuele, et al.
Published: (2025)

A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification
by: Manginas, Vasileios, et al.
Published: (2025)

Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible
by: Jia, Lin-Han, et al.
Published: (2025)

A Study on Neuro-Symbolic Artificial Intelligence: Healthcare Perspectives
by: Hossain, Delower, et al.
Published: (2025)

A Neuro-Symbolic Approach for Probabilistic Reasoning on Graph Data
by: Pojer, Raffaele, et al.
Published: (2025)

Neuro-Symbolic Proof Generation for Scaling Systems Software Verification
by: He, Baoding, et al.
Published: (2026)