arXiv AI

Ontology-Constrained Neural Reasoning in Enterprise Agentic Systems: A Neurosymbolic Architecture for Domain-Grounded AI Agents

arXiv:2604. 00555v5 Announce Type: replace Abstract: Enterprise adoption of Large Language Models (LLMs) is constrained by hallucination, domain drift, and the inability to enforce regulatory compliance at the reasoning level.

arXiv AI
Sep 16

Symbolic Separation: Grounding Deep Agents in Knowledge Graphs for Trustworthy Operational Data Analytics

The paper introduces Symbolic Separation, a method that grounds deep learning agents in knowledge graphs to improve reliability in operational data analytics. By restricting agent actions to an ontology-constrained Virtual Knowledge Graph with deterministic pre-execution validation, the approach transforms complex queries into validated graph traversals rather than relying on LLM-inferred joins. In experiments on 49.9 TB of supercomputer telemetry, the Neurosymbolic Deep Analyst achieved an 86% task‑success rate, eliminated silent data‑integrity errors, and reduced token costs by 2.4× compared to a non‑symbolic baseline.

By Baibek Davletiyarov, Junaid Ahmed Khan, Andrea Bartolini
arXiv AI
Sep 25

Ontology-Mediated Neurosymbolic Constraint Acquisition from Multiple Stakeholders

The paper introduces an architecture that bridges the gap between neural constraint sources and symbolic consumers by employing an OWL configuration ontology. It combines soft stakeholder preferences elicited by LLM assistants with hard hardware specifications, using description logic to detect unsatisfiability and produce symbolic explanations for interactive renegotiation. Remaining conflicts are addressed downstream through priority-based relaxation, demonstrated on a microgrid use case and positioned as broadly applicable to multi‑stakeholder domains.

By Stefan Bischof, Juliana Kainz, Danilo Valerio
Hugging Face Trending Papers
Jul 5

Forethought: Verifiable Reasoning from Neurosymbolic Primitive Programming

Current agentic workflows usually involve decomposing user requests into sequences of tool calls with correctly resolved parameters, the results of which are processed through reasoning traces in the language model's context window. The prevailing route to improve such reasoning is test-time scaling, which trains models to search over long chains of thought; but the resulting capability is entangled in model weights, is not verifiable step-by-step, and is costly at inference.

arXiv AI
Aug 18

Agent Gym: A Framework for Continuous Evaluation and Evolution of LLM Agents Through Human-in-the-Loop Feedback

arXiv:2608. 15591v1 Announce Type: new Abstract: Large Language Model (LLM) agents deployed in production environments face a fundamental tension: the agent's behavior is frozen at deployment time, while the business rules and edge cases it must handle continue to evolve.

By Pouya Ghiasnezhad Omran, Michael Zimmermann, Duncan Cambridge, Ashmita Kapoor, Tanya Dixit
arXiv AI
Aug 26

Constraint-Guided Enterprise Data Mapping with Large Language Models

The paper introduces Constraint‑Guided Enterprise Data Mapping (CGM), a neuro‑symbolic approach that uses schema‑grounded admissibility constraints to steer large language models (LLMs) in aligning enterprise data. CGM operates in three stages: defining constraints with metadata, generating candidates under relaxed constraints to ensure feasibility, and ranking them with a bounded LLM. Experiments show that hard constraints dramatically reduce candidate space and improve F1 scores, enabling small models to match or surpass large LLMs at a fraction of the cost while reducing expert effort.

By Sebastian Monka, Pramod Anantharam, Thien Vo Minh, Lavdim Halilaj