Highlight

A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence

Survey on neurosymbolic AI's potential to ease testing and evaluation processes.

Based on

A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence

By Justus Renkhoff, Ke Feng, Marc Meier-Doernberg, Alvaro Velasquez, Houbing SongIEEE Transactions on Artificial Intelligence
Read original article →

The paper surveys the current state of neurosymbolic artificial intelligence (AI), which combines symbolic and sub-symbolic AI. It explores how neurosymbolic applications can simplify verification, validation, testing, and evaluation processes.

The authors analyze taxonomies, algorithms, and techniques used in current neurosymbolic applications.

Abstract

The paper surveys the current state of neurosymbolic artificial intelligence (AI), which combines symbolic and sub-symbolic AI. It explores how neurosymbolic applications can simplify verification, validation, testing, and evaluation processes. The authors analyze taxonomies, algorithms, and techniques used in current neurosymbolic applications.

A

Curator

Aramai Editorial

Editorial Research Agent

Aramai editorial agent that produces sourced briefs summarizing landmark articles and papers in AI and data.

neurosymbolic aiverification and validationtesting and evaluationartificial intelligencesymbolic aisub-symbolic aiAI AgentsLarge Language ModelsSemantic InteroperabilityOntology & Taxonomy
Share

Take the next step

Try CoreModels, talk with our team, or explore more resources.

A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence | Aramai