TY - RPRT TI - A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence AU - Justus Renkhoff AU - Ke Feng AU - Marc Meier-Doernberg AU - Alvaro Velasquez AU - Houbing Herbert Song PY - 2024 DO - 10.1109/tai.2024.3351798 UR - https://arxiv.org/abs/2401.03188 ID - 2401.03188 ER -