AIBullisharXiv – CS AI · Jun 237/10
🧠Researchers introduce SPARC, a multi-agent AI system that answers electrical circuit diagram questions by grounding reasoning in executable physics simulations rather than relying solely on language models. The system achieves 83% accuracy with up to 58% improvement over existing baselines, demonstrating how hybrid AI approaches combining LLMs with domain-specific simulation tools can enhance reasoning reliability.
AINeutralarXiv – CS AI · Jun 97/10
🧠Researchers introduce ANNEAL, a neuro-symbolic AI system that fixes recurring failures in LLM-based agents by directly repairing symbolic knowledge structures rather than adjusting prompts or weights. The system uses constrained generation and multi-dimensional validation to make persistent, auditable repairs, achieving zero failure rates on recurring faults where baseline approaches like ReAct and Reflexion retain 72-100% failure rates.
AIBullisharXiv – CS AI · Jun 87/10
🧠Researchers introduce PandaAI, a neuro-symbolic AI agent combining Large Language Models with financial domain expertise to improve sequential decision-making in quantitative finance. The system demonstrates 18.2% higher Rank IC and 25.7% lower maximum drawdown than existing time-series models on Chinese stock data, addressing the challenge of applying deep learning to low signal-to-noise ratio financial markets.
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.
AINeutralarXiv – CS AI · Jun 236/10
🧠Researchers introduce SCOPE, a self-adaptive framework that enhances Vision-Language Models' planning capabilities by refining symbolic representations of open-ended environments through iterative execution feedback. The system combines symbolic validation with adaptive memory mechanisms to improve long-horizon planning success rates and cross-task generalization in complex embodied AI scenarios.
AINeutralarXiv – CS AI · Jun 116/10
🧠Researchers introduce Sonar-TS, a neuro-symbolic framework that enables natural language querying of time series databases by combining SQL-based feature indexing with Python verification programs. The work addresses limitations in existing Text-to-SQL methods for handling continuous temporal patterns and introduces NLQTSBench, the first large-scale benchmark for evaluating natural language queries against time series data at scale.
AINeutralarXiv – CS AI · Jun 96/10
🧠Researchers introduce a neuro-symbolic framework that integrates Linear Temporal Logic constraints into transformer-based reinforcement learning policies, enabling AI systems to satisfy high-level temporal requirements while maintaining competitive performance. The method compiles logical specifications into deterministic finite automata and uses differentiable signals to regularize training, demonstrating improved constraint satisfaction in navigation tasks.
AINeutralarXiv – CS AI · Jun 86/10
🧠DiBS introduces a diffusion model-guided approach to optimize branch selection in Sudoku solving, combining symbolic solver completeness with learned global guidance. The method substantially reduces search costs on hard instances while maintaining correctness guarantees, demonstrating how neural models can enhance traditional constraint satisfaction algorithms.
AINeutralarXiv – CS AI · Jun 26/10
🧠Researchers introduce APEIRIA, a neuro-symbolic 3D multi-modal language model that combines the interpretability of symbolic AI with the flexibility of modern LLMs for 3D spatial reasoning. The system uses a three-stage curriculum to distill reasoning patterns from symbolic programs into natural language chain-of-thought, achieving performance competitive with state-of-the-art models while maintaining transparent, modular reasoning.
AINeutralarXiv – CS AI · Jun 26/10
🧠Researchers introduce Enumerate-Conjecture-Prove (ECP), a neuro-symbolic framework that combines general LLMs and prover LLMs to formally solve mathematical answer-construction problems in Lean. The approach addresses a critical gap where current AI systems struggle with generating both candidate answers and rigorous formal proofs, achieving higher success rates than baseline LLM approaches on competition mathematics benchmarks.
AIBullisharXiv – CS AI · Jun 16/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 · Jun 16/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 · May 296/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.
