#Neuro-symbolic AI

3 articles with this tag

Bridging Perception and Deduction in AI
AI Research

Bridging Perception and Deduction in AI

A novel neuro-soft-symbolic architecture enables end-to-end differentiable deductive reasoning over perceptual data and knowledge graphs.

3 months ago
Agentic AI Needs Ontologies for Guardrails, Says UC Berkeley Expert
Artificial Intelligence

Agentic AI Needs Ontologies for Guardrails, Says UC Berkeley Expert

Frank Coyle of UC Berkeley explains how ontologies act as essential guardrails for AI agents, combining probabilistic reasoning with formal logic for safer, more coherent systems.

3 months ago
LLMs Tame Software Requirements
AI Research

LLMs Tame Software Requirements

VERIMED leverages LLMs and SMT solvers to formally audit natural-language software requirements, turning ambiguity into testable signals and boosting verified accuracy.

6 months ago