AIBullisharXiv – CS AI · May 77/10
🧠Researchers introduce Neural Rule Inducer (NRI), a pretrained foundation model enabling zero-shot logical rule induction without task-specific retraining. By encoding domain-agnostic statistical properties instead of literal identities, NRI generalizes across different predicates and demonstrates robustness to label noise and spurious correlations, advancing toward foundation models for symbolic reasoning.
AIBullisharXiv – CS AI · May 17/10
🧠Researchers introduce machine collective intelligence, a paradigm combining symbolic reasoning and metaheuristics to autonomously discover governing equations from empirical data. The approach recovers underlying equations across deterministic, stochastic, and uncharacterized systems while reducing extrapolation error by up to six orders of magnitude compared to deep neural networks and condensing millions of parameters into just 5-40 interpretable ones.
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 · 2d 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 · 2d ago6/10
🧠Researchers introduce RACE-Sched, an asynchronous AI framework that combines real-time symbolic heuristics with LLM-powered reasoning to solve dynamic job shop scheduling problems in industrial systems. The approach decouples fast reactive execution from slower deliberative optimization, enabling superior performance over deep reinforcement learning baselines while maintaining interpretability and millisecond-level response times.
AIBullisharXiv – CS AI · 2d ago6/10
🧠Researchers introduce EvoMD-LLM, a framework that adapts large language models to predict molecular dynamics by treating chemical reactions as temporal sequences with duration-aware tokens. The model achieves 66.14% accuracy on prediction tasks and demonstrates the ability to generate explanations for its predictions without explicit supervision, suggesting LLMs can effectively ground themselves in physical simulations through symbolic temporal modeling.
AIBullisharXiv – CS AI · 4d ago6/10
🧠Researchers introduce ReasonOps, a unified operational framework that treats AI reasoning as a continuously monitored and verifiable process rather than isolated inference. The paradigm integrates formal verification, symbolic reasoning, and runtime assurance to address critical reliability gaps in LLM-based reasoning systems, particularly for safety-critical applications.
AINeutralarXiv – CS AI · May 126/10
🧠Researchers introduce DSAT, a native SAT solver designed to work directly with discrete variables rather than converting them to binary Boolean variables. The solver applies traditional SAT techniques like unit resolution and clause learning to discrete logic, offering potential computational and semantic advantages over existing binarization approaches for applications in probabilistic reasoning, planning, and explainable AI.
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.
AIBearisharXiv – CS AI · May 16/10
🧠A research paper examines epistemological risks in relying on large language models for critical advice in finance, law, and healthcare. The article argues that uncritical acceptance of AI outputs violates established principles of logical reasoning and fair judgment, and proposes that trustworthy AI systems require integrated inference capabilities and awareness of how human biases shape interpretation.
🏢 Meta
AINeutralarXiv – CS AI · Apr 206/10
🧠Researchers propose a symbolic reasoning framework that implements Peirce's abductive-deductive-inductive reasoning model to address systematic weaknesses in large language model logical reasoning. The system enforces logical consistency through five algebraic invariants, with the Weakest Link bound preventing unreliable premises from corrupting multi-step inference chains.
AINeutralarXiv – CS AI · Apr 106/10
🧠Researchers present ProofSketcher, a hybrid system combining large language models with lightweight proof verification to address mathematical reasoning errors in AI-generated proofs. The approach bridges the gap between LLM efficiency and the formal rigor of interactive theorem provers like Lean and Coq, enabling more reliable automated reasoning without requiring full formalization.
$AVAX
AINeutralarXiv – CS AI · Apr 106/10
🧠Researchers introduce a declarative runtime protocol that externalizes agent state to measure how much of an LLM-based agent's competence actually derives from the language model versus explicit structural components. Testing on Collaborative Battleship, they find that explicit world-model planning drives most performance gains, while sparse LLM-based revision at 4.3% of turns yields minimal and sometimes negative returns.
AINeutralarXiv – CS AI · Apr 106/10
🧠Researchers introduce OneLife, a framework for learning symbolic world models from minimal unguided exploration in complex, stochastic environments. The approach uses conditionally-activated programmatic laws within a probabilistic framework and demonstrates superior performance on 16 of 23 test scenarios, advancing autonomous construction of world models for unknown environments.
AINeutralarXiv – CS AI · Mar 266/10
🧠Researchers propose DUPLEX, a dual-system architecture that restricts LLMs to information extraction rather than end-to-end planning, using symbolic planners for logical synthesis. The system demonstrated superior performance across 12 planning domains by leveraging LLMs for semantic grounding while avoiding their hallucination tendencies in complex reasoning tasks.
AINeutralarXiv – CS AI · Mar 266/10
🧠Researchers investigated whether Vision-Language Models (VLMs) can reason robustly under distribution shifts and found that fine-tuned VLMs achieve high accuracy in-distribution but fail to generalize. They propose VLC, a neuro-symbolic method combining VLM-based concept recognition with circuit-based symbolic reasoning that demonstrates consistent performance under covariate shifts.
AINeutralarXiv – CS AI · Mar 37/109
🧠Researchers propose the Lattice Representation Hypothesis, a new framework showing how large language models encode symbolic reasoning through geometric structures. The theory unifies continuous neural representations with formal logic by demonstrating that LLM embeddings naturally form concept lattices that enable symbolic operations through geometric intersections and unions.
AINeutralarXiv – CS AI · Mar 37/109
🧠Researchers introduce a novel multi-agent AI architecture that integrates Theory of Mind, internal beliefs, and symbolic solvers to improve collaborative decision-making in LLM-based systems. The study evaluates this architecture across different language models in resource allocation scenarios, revealing complex interactions between LLM capabilities and cognitive mechanisms.
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.
AINeutralarXiv – CS AI · Mar 34/106
🧠Researchers introduce Discrete World Models via Regularization (DWMR), a new method for learning Boolean representations of environments without requiring reconstruction or contrastive learning. The approach uses specialized regularizers to maximize entropy and independence while enforcing locality constraints, showing superior performance on benchmarks with combinatorial structure.
AINeutralarXiv – CS AI · Mar 24/106
🧠Researchers introduce CSyMR-Bench, a new benchmark for evaluating AI systems' ability to perform complex music information retrieval tasks from symbolic notation. The benchmark includes 126 multiple-choice questions requiring compositional reasoning, and demonstrates that tool-augmented AI approaches outperform language model-only methods by 5-7%.
