:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Shi, Weichun, Liu, Minghao, Zhang, Wanting, Shi, Langchen, Jia, Fuqi, Ma, Feifei, Zhang, Jian
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2510.05774
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LLM-Guided Quantified SMT Solving over Uninterpreted Functions
by: Lv, Kunhang, et al.
Published: (2026)

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

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
by: Miya, Shinobu
Published: (2025)

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

Neuro-symbolic Learning Yielding Logical Constraints
by: Li, Zenan, et al.
Published: (2024)

Zero-Shot Conditioning of Score-Based Diffusion Models by Neuro-Symbolic Constraints
by: Scassola, Davide, et al.
Published: (2023)

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

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

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

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

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

Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
by: Daggitt, Matthew L., et al.
Published: (2024)

Tokenization Constraints in LLMs: A Study of Symbolic and Arithmetic Reasoning Limits
by: Zhang, Xiang, et al.
Published: (2025)

Investigating Constraint Programming and Hybrid Methods for Real World Industrial Test Laboratory Scheduling
by: Geibinger, Tobias, et al.
Published: (2019)

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

From Passive Reuse to Active Reasoning: Grounding Large Language Models for Neuro-Symbolic Experience Replay
by: Xiao, Yanan, et al.
Published: (2026)

NeuroAgent: LLM Agents for Multimodal Neuroimaging Analysis and Research
by: Zhong, Lujia, et al.
Published: (2026)

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge
by: Lorello, Luca Salvatore, et al.
Published: (2025)

KANFIS: A Neuro-Symbolic Framework for Interpretable and Uncertainty-Aware Learning
by: Yong, Binbin, et al.
Published: (2026)

Neuro-Symbolic Skill Discovery for Conditional Multi-Level Planning
by: Aktas, Hakan, et al.
Published: (2024)

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

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

Play by the Type Rules: Inferring Constraints for LLM Functions in Declarative Programs
by: Glenn, Parker, et al.
Published: (2025)

Exact Verification of Graph Neural Networks with Incremental Constraint Solving
by: Liu, Minghao, et al.
Published: (2025)

NEXUS: Continual Learning of Symbolic Constraints for Safe and Robust Embodied Planning
by: Cui, Tiehan, et al.
Published: (2026)

Neuro-Symbolic AI: Explainability, Challenges, and Future Trends
by: Zhang, Xin, et al.
Published: (2024)

Bridging the Gap: Representation Spaces in Neuro-Symbolic AI
by: Zhang, Xin, et al.
Published: (2024)

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

Cognitive Load-Aware Inference: A Neuro-Symbolic Framework for Optimizing the Token Economy of Large Language Models
by: Zhang, Yilun
Published: (2025)

CRAFT-E: A Neuro-Symbolic Framework for Embodied Affordance Grounding
by: Chen, Zhou, et al.
Published: (2025)

ConstraintBench: Benchmarking LLM Constraint Reasoning on Direct Optimization
by: Tso, Joseph, et al.
Published: (2026)

NeSy-Route: A Neuro-Symbolic Benchmark for Constrained Route Planning in Remote Sensing
by: Yang, Ming, et al.
Published: (2026)

Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees
by: Liu, Xiaoyang, et al.
Published: (2026)

Ferret: An Efficient Online Continual Learning Framework under Varying Memory Constraints
by: Zhou, Yuhao, et al.
Published: (2025)

Lyria: A Genetic Algorithm-Driven Neuro-Symbolic Reasoning Framework for LLMs
by: Tang, Weizhi, et al.
Published: (2025)

Temporal Reasoning Is Not the Bottleneck: A Probabilistic Inconsistency Framework for Neuro-Symbolic QA
by: Liem, Tran Quang
Published: (2026)

TReMu: Towards Neuro-Symbolic Temporal Reasoning for LLM-Agents with Memory in Multi-Session Dialogues
by: Ge, Yubin, et al.
Published: (2025)

LazyVLM: Neuro-Symbolic Approach to Video Analytics
by: Jian, Xiangru, et al.
Published: (2025)

A Neuro-Symbolic Framework for Reasoning under Perceptual Uncertainty: Bridging Continuous Perception and Discrete Symbolic Planning
by: Wu, Jiahao, et al.
Published: (2025)

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