Tag: Neuro-Symbolic AI
Browse our exclusive articles!
ReaComp: Efficient Program Synthesis Using Symbolic Solvers
Discover how ReaComp compiles LLM reasoning into symbolic solvers, boosting accuracy and efficiency in program synthesis without costly LLM calls.
Neural Decision-Propagation Boosts Answer Set Programming
Discover how Neural Decision-Propagation enhances Answer Set Programming with scalable, efficient neuro-symbolic AI for better decision-making and reasonin...
Neuro-Symbolic Framework for Fair Ethical Judgments
Discover a neuro-symbolic framework that improves ethical reasoning by combining AI and logic to resolve moral conflicts fairly and accurately.
Neuro-symbolic Causal Rule Synthesis for Safe AI Systems
Explore neuro-symbolic causal rule synthesis and verification to enhance AI safety and legal compliance in critical applications like autonomous driving.
LLM+ASP: Self-Correcting Task-Agnostic Nonmonotonic Reasoning
Discover how LLM+ASP enables task-agnostic nonmonotonic reasoning with automated self-correction, outperforming traditional SMT methods in AI reasoning tas...