AIBullisharXiv – CS AI · Jun 237/10
🧠Researchers introduce VADAOrchestra, a neurosymbolic framework that combines Large Language Model-based orchestration with symbolic logic programming to execute complex, adaptive workflows. The system addresses key limitations of both traditional business process management and pure LLM-based agents by providing verifiable reasoning traces, improved scalability, and explainability while maintaining runtime adaptability.
AIBullisharXiv – CS AI · Jun 97/10
🧠Researchers present a neurosymbolic reasoning method that integrates large language models into formal logic systems using paraconsistent logic, enabling sound and complete reasoning while leveraging LLM knowledge. The approach improves factuality evaluation by 6 percentage points and successfully identifies logical contradictions in medical knowledge bases without causing logical explosion.
AIBullisharXiv – CS AI · Jun 27/10
🧠Researchers introduce Symbolic Neural Generators (SNGs), a hybrid neurosymbolic model combining inductive logic programming with large language models to generate molecules meeting formal correctness criteria. The system demonstrates performance comparable to state-of-the-art drug discovery methods on benchmark problems and generates promising inhibitor candidates for poorly understood drug targets.
AIBullisharXiv – CS AI · May 127/10
🧠Researchers present a weakly supervised learning approach that combines neural networks with symbolic AI for object-centric reasoning tasks, requiring only 1% of typical labels while outperforming foundation models in domain generalization. The method bridges perception and logical reasoning by using slot-based architectures and VAEs to ground symbolic outputs for frameworks like Inductive Logic Programming.
AIBullisharXiv – CS AI · May 97/10
🧠Researchers introduce LANTERN, a framework that uses large language models to automatically generate task descriptions and intelligently aggregate knowledge from multiple source tasks for reinforcement learning. The system achieves 40-60% improvements in sample efficiency by adaptively weighting source policies based on task similarity and managing teacher-student knowledge transfer through uncertainty-aware gating.
AIBullisharXiv – CS AI · Mar 57/10
🧠Researchers introduce GraphMERT, an 80M-parameter AI model that efficiently extracts reliable knowledge graphs from unstructured text data. The system outperforms much larger language models like Qwen3-32B in generating factually accurate and semantically valid knowledge graphs, achieving 69.8% FActScore versus 40.2% for the baseline.
AIBullisharXiv – CS AI · Mar 47/105
🧠Researchers introduce NeuroProlog, a neurosymbolic framework that improves mathematical reasoning in Large Language Models by converting math problems into executable Prolog programs. The multi-task 'Cocktail' training approach shows significant accuracy improvements of 3-5% across different model sizes, with larger models demonstrating better error correction capabilities.
AINeutralarXiv – CS AI · Jun 196/10
🧠DeepSWIP introduces a novel counterfactual reasoning framework for DeepProbLog programs by combining neural perception with probabilistic logic through weighted model counting. The approach achieves 2.14× inference speedup while enabling causal intervention analysis, demonstrated through experiments on visual reasoning and fairness estimation tasks.
AINeutralarXiv – CS AI · Jun 106/10
🧠Researchers have significantly improved NeurASP, a neurosymbolic AI framework that combines neural networks with symbolic reasoning, through vectorization, batch processing, and caching techniques. The enhancements achieve speedups of multiple orders of magnitude, addressing previous computational bottlenecks that limited scalability for complex tasks.
AINeutralarXiv – CS AI · Jun 106/10
🧠Researchers introduce Inference-Time Argumentation (ITA), a neurosymbolic framework that combines large language models with formal argumentation semantics for claim verification. The system generates arguments, scores them, and produces ternary (true/false/uncertain) predictions with faithful, inspectable reasoning structures rather than post-hoc justifications.
AINeutralarXiv – CS AI · Jun 26/10
🧠Researchers introduce Geodesic Flow Matching, a novel method that adapts denoising algorithms to respect the geometric constraints of Spatial Semantic Pointers (SSPs) on toroidal manifolds. The approach reduces tracking error by 72% in neural SLAM systems compared to standard Euclidean methods, demonstrating significant improvements in neurosymbolic AI architectures.
AINeutralarXiv – CS AI · Jun 26/10
🧠Researchers introduce an optimized inference method for generative AI planning models that combines classical Open-Closed List search with learned generative and heuristic components. The approach demonstrates superior computational efficiency and solution quality compared to existing neurosymbolic and classical solvers across combinatorial planning domains.
AINeutralarXiv – CS AI · May 275/10
🧠RAGEAR is a neurosymbolic recommender system that combines dense retrieval of lecture transcripts with knowledge graphs to improve academic course recommendations. The system demonstrates that fine-grained instructional content outperforms metadata-only approaches, with a novel graph-aware aggregation function that effectively propagates evidence from transcript chunks to course-level rankings.
AINeutralarXiv – CS AI · May 116/10
🧠Researchers propose PACS, a probabilistic framework for abductive reasoning that models how commonsense beliefs vary across individuals rather than assuming universal agreement. By combining LLMs with formal solvers to sample diverse proofs and aggregate conclusions, PACS outperforms existing reasoning approaches on multiple benchmarks, addressing a fundamental limitation in neurosymbolic AI systems.
AINeutralarXiv – CS AI · May 116/10
🧠Researchers introduce a neurosymbolic framework that combines neural networks with symbolic logic for skeleton-based human action recognition, enabling interpretable AI models that explain their decisions through human-readable logical rules rather than operating as black boxes.
AIBullisharXiv – CS AI · Apr 136/10
🧠Researchers propose a neuro-symbolic deep reinforcement learning approach that integrates logical rules and symbolic knowledge to improve sample efficiency and generalization in RL systems. The method transfers partial policies from simple tasks to complex ones, reducing training data requirements and improving performance in sparse-reward environments compared to existing baselines.
AIBearishCoinTelegraph – AI · Mar 117/10
🧠Current AI scaling approaches are consuming massive energy resources while increasing error rates rather than improving performance. The article suggests neurosymbolic reasoning and decentralized cognitive systems as more reliable alternatives to traditional scaling methods.
AINeutralarXiv – CS AI · Mar 54/10
🧠Researchers introduce NEURONA, a neuro-symbolic framework that combines AI symbolic reasoning with fMRI brain data to decode neural activity patterns. The system demonstrates improved accuracy in understanding how the brain processes visual concepts by incorporating structural priors and compositional reasoning.
