:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kwon, Jiyong, Jeon, Ujin, Lee, Sooji, Lin, Guang
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2604.02478
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

ATLAS: A Multi-LLM Training Framework for EvoDPO with Adaptive Reference Evolution
by: Jeon, Ujin, et al.
Published: (2026)

ATA: A Neuro-Symbolic Approach to Implement Autonomous and Trustworthy Agents
by: Peer, David, et al.
Published: (2025)

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

Integrating Symbolic RL Planning into a BDI-based Autonomous UAV Framework: System Integration and SIL Validation
by: Jeon, Sangwoo, et al.
Published: (2025)

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

VIRO: Robust and Efficient Neuro-Symbolic Reasoning with Verification for Referring Expression Comprehension
by: Park, Hyejin, et al.
Published: (2026)

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

Verification and Validation of Autonomous Systems
by: Shetiya, Sneha Sudhir, et al.
Published: (2024)

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

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

ProofNet++: A Neuro-Symbolic System for Formal Proof Verification with Self-Correction
by: Ambati, Murari
Published: (2025)

Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)
by: Sigloch, Paul, et al.
Published: (2026)

Chimera: Neuro-Symbolic Attention Primitives for Trustworthy Dataplane Intelligence
by: Fu, Rong, et al.
Published: (2026)

LOOP: A Plug-and-Play Neuro-Symbolic Framework for Enhancing Planning in Autonomous Systems
by: Virwani, Ronit, et al.
Published: (2025)

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

NeuSymMS: A Hybrid Neuro-Symbolic Memory System for Persistent, Self-Curating LLM Agents
by: Sultan, Mujahid, et al.
Published: (2026)

Aeon: High-Performance Neuro-Symbolic Memory Management for Long-Horizon LLM Agents
by: Arslan, Mustafa
Published: (2026)

Toward Generalized Autonomous Agents: A Neuro-Symbolic AI Framework for Integrating Social and Technical Support in Education
by: Hare, Ryan, et al.
Published: (2025)

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

GRAIL: Autonomous Concept Grounding for Neuro-Symbolic Reinforcement Learning
by: Shindo, Hikaru, et al.
Published: (2026)

Neuro-Symbolic Evaluation of Text-to-Video Models using Formal Verification
by: Sharan, S P, et al.
Published: (2024)

Explainable Diagnosis Prediction through Neuro-Symbolic Integration
by: Lu, Qiuhao, et al.
Published: (2024)

Simple and Effective Transfer Learning for Neuro-Symbolic Integration
by: Daniele, Alessandro, 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)

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

Neuro-Symbolic Agents for Hallucination-Free Requirements Reuse
by: Ibrahim, Ahmed F.
Published: (2026)

Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications
by: Zhang, Liao, et al.
Published: (2026)

LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification
by: Wu, Yanrui, et al.
Published: (2026)

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

NeSy-Edge: Neuro-Symbolic Trustworthy Self-Healing in the Computing Continuum
by: Ye, Peihan, et al.
Published: (2026)

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

A Neuro-Symbolic Multi-Agent Approach to Legal-Cybersecurity Knowledge Integration
by: Bonfanti, Chiara, et al.
Published: (2025)

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

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

SAFEFLOW: A Principled Protocol for Trustworthy and Transactional Autonomous Agent Systems
by: Li, Peiran, et al.
Published: (2025)

Claw-Eval: Towards Trustworthy Evaluation of Autonomous Agents
by: Ye, Bowen, et al.
Published: (2026)

Converging Paradigms: The Synergy of Symbolic and Connectionist AI in LLM-Empowered Autonomous Agents
by: Xiong, Haoyi, et al.
Published: (2024)

Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs
by: Yang, Sen, et al.
Published: (2023)

ObjectAlign: Neuro-Symbolic Object Consistency Verification and Correction
by: Munir, Mustafa, et al.
Published: (2025)

WALL-E 2.0: World Alignment by NeuroSymbolic Learning improves World Model-based LLM Agents
by: Zhou, Siyu, et al.
Published: (2025)