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

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

6 January 2024

Justus Renkhoff

Marc Meier-Doernberg

Alvaro Velasquez

Houbing Herbert Song

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

9 / 9 papers shown

Title
Neurosymbolic AI and its Taxonomy: a survey Wandemberg Gibaut Leonardo Pereira Fabio Grassiotto Alexandre Osorio Eder Gadioli Amparo Munoz Sildolfo Gomes Claudio dos Santos NAI AI4CE 27 5 0 12 May 2023
NoiseCAM: Explainable AI for the Boundary Between Noise and Adversarial Attacks Wen-Xi Tan Justus Renkhoff Alvaro Velasquez Ziyu Wang Lu Li Jian Wang Shuteng Niu Fan Yang Yongxin Liu H. Song AAML 33 6 0 09 Mar 2023
Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computing Wenguan Wang Yi Yang Fei Wu NAI 32 16 0 28 Oct 2022
A Review of Safe Reinforcement Learning: Methods, Theory and Applications Shangding Gu Longyu Yang Yali Du Guang Chen Florian Walter Jun Wang Alois C. Knoll OffRL AI4TS 115 237 0 20 May 2022
Benchmarking Graph Neural Networks Vijay Prakash Dwivedi Chaitanya K. Joshi Anh Tuan Luu T. Laurent Yoshua Bengio Xavier Bresson 189 914 0 02 Mar 2020
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 78 292 0 09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 226 1,835 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 932 0 21 Oct 2016
ImageNet Large Scale Visual Recognition Challenge Olga Russakovsky Jia Deng Hao Su J. Krause S. Satheesh ... A. Karpathy A. Khosla Michael S. Bernstein Alexander C. Berg Li Fei-Fei VLM ObjD 296 39,194 0 01 Sep 2014