AIBullisharXiv – CS AI · Apr 147/10
🧠CircuitSynth is a neuro-symbolic framework that addresses hallucinations and logical inconsistencies in LLM-generated synthetic data by combining probabilistic decision diagrams with optimization mechanisms to enforce hard constraints and distributional guarantees. The approach achieves 100% schema validity across complex benchmarks while outperforming existing methods in coverage, representing a significant advancement in reliable synthetic data generation for machine learning applications.
AIBullisharXiv – CS AI · Apr 77/10
🧠Researchers have developed a neuro-symbolic framework that enables robots to learn complex manipulation tasks from as few as one demonstration, without requiring manual programming or large datasets. The system uses Vision-Language Models to automatically construct symbolic planning domains and has been validated on real industrial equipment including forklifts and robotic arms.
AIBullisharXiv – CS AI · 3d ago6/10
🧠PhyDrawGen is a neuro-symbolic AI system that generates physics diagrams from natural language text while maintaining strict physical accuracy. By combining large language models, deterministic solvers, and vision-language models in a pipeline, it overcomes the hallucination problems of current generative models and outperforms GPT-4, Gemini 2.5, and Gemini 3 Pro on physics problems spanning mechanics, optics, and electromagnetism.
🧠 GPT-5🧠 Gemini
AINeutralarXiv – CS AI · 3d ago6/10
🧠Researchers propose a Neuro-Symbolic Predictive Process Monitoring approach that combines deep learning with Linear Temporal Logic constraints to improve suffix prediction accuracy in business process management. The method introduces a differentiable logical loss function that ensures generated sequences satisfy both predictive accuracy and temporal logic constraints, with applications extending beyond BPM to general symbolic sequence generation tasks.
AINeutralarXiv – CS AI · 6d ago6/10
🧠Researchers propose a neuro-symbolic framework for constructing knowledge graphs that combines LLM-based extraction with post-hoc ontology constraint validation, reducing token costs while improving consistency for complex question-answering tasks. The method defers corrections to after extraction rather than during it, enabling SQL-like querying capabilities for multi-hop reasoning across documents.
AINeutralarXiv – CS AI · May 126/10
🧠Researchers introduce Neuro-Symbolic Experience Replay (NSER), a framework that enhances reinforcement learning by combining Large Language Models with symbolic logic to transform passive memory buffers into active knowledge construction systems. The approach grounds LLM-generated behavioral rules into differentiable logic representations, enabling more efficient policy optimization across multiple benchmark environments.
AINeutralarXiv – CS AI · May 126/10
🧠Researchers introduce TESSERA, a neuro-symbolic framework that combines Large Language Models with Monte Carlo Tree Search to extract multi-step explanations from knowledge graphs, specifically for drug-disease mechanism discovery. The system uses LLMs for local judgments rather than autonomous generation, enforcing structural constraints through knowledge graphs while employing MCTS for principled credit assignment across extended reasoning chains.
AIBullisharXiv – CS AI · May 116/10
🧠Researchers present a 2.5-D decomposition method that improves LLM-based spatial reasoning for autonomous construction tasks by constraining language models to 2D horizontal planning while deterministic systems handle vertical placement. The approach achieves 94.6% structural accuracy on benchmark tests, significantly outperforming existing methods and demonstrating practical deployment on edge hardware.
🏢 Nvidia🧠 GPT-4
AINeutralarXiv – CS AI · May 116/10
🧠Researchers introduce a neuro-symbolic framework combining Logic-Augmented Generation and Active Inference to extract and formalize tacit knowledge into machine-interpretable Knowledge Graphs. The approach addresses a critical gap in knowledge engineering by capturing implicit assumptions and contextual expertise from procedural domains like manufacturing, demonstrated through analysis of assembly repair videos.
AINeutralarXiv – CS AI · May 76/10
🧠ANDRE is a novel neuro-symbolic AI framework that combines deep learning with interpretable logic programming to extract first-order rules from data. The method addresses long-standing scalability and robustness issues in Inductive Logic Programming by using attention-based differentiable operators instead of rigid rule templates or fuzzy approximations.
AINeutralarXiv – CS AI · May 76/10
🧠Researchers present a neuro-symbolic framework that challenges the conventional belief that temporal reasoning failures in LLMs stem from inherent logical deduction deficits. By decoupling text-to-event representation from symbolic reasoning using a Probabilistic Inconsistency Signal, the framework achieves perfect accuracy on structured temporal tasks and identifies that representation quality—not reasoning capability—is the true bottleneck.
AINeutralarXiv – CS AI · May 76/10
🧠Researchers introduce Gyan, a non-transformer language model designed to address hallucinations, interpretability, and computational inefficiency in current LLMs. The architecture decouples language modeling from knowledge acquisition and achieves state-of-the-art performance while prioritizing explainability and trustworthiness for mission-critical applications.
AIBullisharXiv – CS AI · May 16/10
🧠Researchers present LLM+ASP, a framework combining large language models with Answer Set Programming to enable nonmonotonic reasoning without task-specific engineering. The system uses automated self-correction loops where an ASP solver provides structured feedback, demonstrating significant performance improvements over monotonic logic approaches across diverse reasoning benchmarks.
AINeutralarXiv – CS AI · May 16/10
🧠Researchers present a neuro-symbolic framework that combines first-order logic, causal models, and deep reinforcement learning to automatically synthesize, verify, and maintain safety-critical rule-based systems. The system uses LLMs to translate human-specified legal and safety principles into formal logical rules, with validation pipelines ensuring consistency and safety before deployment in autonomous systems.
AINeutralarXiv – CS AI · Apr 206/10
🧠Researchers introduce TabularMath, a benchmark and neuro-symbolic framework for evaluating large language models' mathematical reasoning over tabular data. The study reveals that LLMs struggle with table complexity, low-quality data, and inconsistent information—critical limitations for real-world business intelligence applications that demand reliable numerical reasoning.
AINeutralarXiv – CS AI · Apr 156/10
🧠Researchers propose a graph-based soft prompting framework that enables LLMs to reason over incomplete knowledge graphs by processing subgraph structures rather than explicit node paths, achieving state-of-the-art results on multi-hop question-answering benchmarks while reducing computational costs through a two-stage inference approach.
AINeutralarXiv – CS AI · Apr 146/10
🧠This academic paper proposes a neuro-symbolic approach for AGI robots combining neural networks with formal logic reasoning using Belnap's 4-valued logic system. The framework enables robots to handle unknown information, inconsistencies, and paradoxes while maintaining controlled security through axiom-based logic inference.
AIBullisharXiv – CS AI · Apr 146/10
🧠Researchers introduce Neuro-Symbolic Fuzzy Logic (NSFL), a training-free framework that enables neural embedding systems to perform complex logical operations without retraining. The approach combines fuzzy logic mathematics with neural embeddings, achieving up to 81% mAP improvements across multiple encoder configurations and demonstrating broad applicability to existing AI retrieval systems.
AIBullisharXiv – CS AI · Apr 106/10
🧠Researchers introduce MAT-Cell, a neuro-symbolic AI framework that combines large language models with biological constraints to improve single-cell annotation accuracy. The system uses multi-agent reasoning and verification processes to overcome limitations in both supervised learning and LLM-based approaches, demonstrating superior performance on cross-species benchmarks.
AINeutralarXiv – CS AI · Mar 44/103
🧠This academic survey examines Neuro-Symbolic AI methods that combine neural networks with symbolic computing to enhance explainability and reasoning capabilities. The research explores how these hybrid approaches can address limitations in semantic generalizability and compete with pure connectionist systems in real-world applications.
