{"id":"https://openalex.org/W4390729056","doi":"https://doi.org/10.1109/tai.2024.3351798","title":"A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence","display_name":"A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence","publication_year":2024,"publication_date":"2024-01-09","ids":{"openalex":"https://openalex.org/W4390729056","doi":"https://doi.org/10.1109/tai.2024.3351798"},"language":"en","primary_location":{"id":"doi:10.1109/tai.2024.3351798","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tai.2024.3351798","pdf_url":null,"source":{"id":"https://openalex.org/S4210169448","display_name":"IEEE Transactions on Artificial Intelligence","issn_l":"2691-4581","issn":["2691-4581"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Artificial Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2401.03188","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008202991","display_name":"Justus Renkhoff","orcid":"https://orcid.org/0000-0002-7021-734X"},"institutions":[{"id":"https://openalex.org/I126744593","display_name":"University of Maryland, Baltimore","ror":"https://ror.org/04rq5mt64","country_code":"US","type":"education","lineage":["https://openalex.org/I126744593"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Justus Renkhoff","raw_affiliation_strings":["Security and Optimization for Networked Globe Laboratory (SONG Lab), Department of Information Systems, University of Maryland, Baltimore, MD, USA"],"raw_orcid":"https://orcid.org/0000-0002-7021-734X","affiliations":[{"raw_affiliation_string":"Security and Optimization for Networked Globe Laboratory (SONG Lab), Department of Information Systems, University of Maryland, Baltimore, MD, USA","institution_ids":["https://openalex.org/I126744593"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103852872","display_name":"Ke Feng","orcid":"https://orcid.org/0009-0006-5514-6818"},"institutions":[{"id":"https://openalex.org/I84475105","display_name":"Embry\u2013Riddle Aeronautical University","ror":"https://ror.org/010jskt71","country_code":"US","type":"education","lineage":["https://openalex.org/I84475105"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ke Feng","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, Embry-Riddle Aeronautical University, Daytona Beach, FL, USA"],"raw_orcid":"https://orcid.org/0009-0006-5514-6818","affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, Embry-Riddle Aeronautical University, Daytona Beach, FL, USA","institution_ids":["https://openalex.org/I84475105"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5093701897","display_name":"Marc Meier-Doernberg","orcid":"https://orcid.org/0009-0005-9171-5646"},"institutions":[{"id":"https://openalex.org/I84475105","display_name":"Embry\u2013Riddle Aeronautical University","ror":"https://ror.org/010jskt71","country_code":"US","type":"education","lineage":["https://openalex.org/I84475105"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Marc Meier-Doernberg","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, Embry-Riddle Aeronautical University, Daytona Beach, FL, USA"],"raw_orcid":"https://orcid.org/0009-0005-9171-5646","affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, Embry-Riddle Aeronautical University, Daytona Beach, FL, USA","institution_ids":["https://openalex.org/I84475105"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067109059","display_name":"Alvaro Velasquez","orcid":"https://orcid.org/0000-0001-6757-105X"},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alvaro Velasquez","raw_affiliation_strings":["Department of Computer Science, University of Colorado, Boulder, CO, USA"],"raw_orcid":"https://orcid.org/0000-0001-6757-105X","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Colorado, Boulder, CO, USA","institution_ids":["https://openalex.org/I188538660"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079301418","display_name":"Houbing Song","orcid":"https://orcid.org/0000-0003-2631-9223"},"institutions":[{"id":"https://openalex.org/I126744593","display_name":"University of Maryland, Baltimore","ror":"https://ror.org/04rq5mt64","country_code":"US","type":"education","lineage":["https://openalex.org/I126744593"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Houbing Herbert Song","raw_affiliation_strings":["Security and Optimization for Networked Globe Laboratory (SONG Lab), Department of Information Systems, University of Maryland, Baltimore, MD, USA"],"raw_orcid":"https://orcid.org/0000-0003-2631-9223","affiliations":[{"raw_affiliation_string":"Security and Optimization for Networked Globe Laboratory (SONG Lab), Department of Information Systems, University of Maryland, Baltimore, MD, USA","institution_ids":["https://openalex.org/I126744593"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.9907,"has_fulltext":true,"cited_by_count":24,"citation_normalized_percentile":{"value":0.91866195,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"5","issue":"8","first_page":"3765","last_page":"3779"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12808","display_name":"Ferroelectric and Negative Capacitance Devices","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10429","display_name":"EEG and Brain-Computer Interfaces","score":0.9912999868392944,"subfield":{"id":"https://openalex.org/subfields/2805","display_name":"Cognitive Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.689087450504303},{"id":"https://openalex.org/keywords/the-symbolic","display_name":"The Symbolic","score":0.6255942583084106},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5717173218727112},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.5403727293014526},{"id":"https://openalex.org/keywords/symbolic-artificial-intelligence","display_name":"Symbolic artificial intelligence","score":0.45331645011901855},{"id":"https://openalex.org/keywords/symbolic-trajectory-evaluation","display_name":"Symbolic trajectory evaluation","score":0.43723607063293457},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.43502798676490784},{"id":"https://openalex.org/keywords/meaning","display_name":"Meaning (existential)","score":0.41452547907829285},{"id":"https://openalex.org/keywords/artificial-intelligence-system","display_name":"Artificial Intelligence System","score":0.3259107768535614},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.22456255555152893},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16119897365570068},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1148211658000946},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.08770367503166199},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.08459335565567017}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.689087450504303},{"id":"https://openalex.org/C2776095079","wikidata":"https://www.wikidata.org/wiki/Q489538","display_name":"The Symbolic","level":2,"score":0.6255942583084106},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5717173218727112},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.5403727293014526},{"id":"https://openalex.org/C26205005","wikidata":"https://www.wikidata.org/wiki/Q5514059","display_name":"Symbolic artificial intelligence","level":3,"score":0.45331645011901855},{"id":"https://openalex.org/C23123167","wikidata":"https://www.wikidata.org/wiki/Q7661193","display_name":"Symbolic trajectory evaluation","level":3,"score":0.43723607063293457},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.43502798676490784},{"id":"https://openalex.org/C2780876879","wikidata":"https://www.wikidata.org/wiki/Q3054749","display_name":"Meaning (existential)","level":2,"score":0.41452547907829285},{"id":"https://openalex.org/C30112582","wikidata":"https://www.wikidata.org/wiki/Q712503","display_name":"Artificial Intelligence System","level":2,"score":0.3259107768535614},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.22456255555152893},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16119897365570068},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1148211658000946},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.08770367503166199},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.08459335565567017},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0},{"id":"https://openalex.org/C11171543","wikidata":"https://www.wikidata.org/wiki/Q41630","display_name":"Psychoanalysis","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/tai.2024.3351798","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tai.2024.3351798","pdf_url":null,"source":{"id":"https://openalex.org/S4210169448","display_name":"IEEE Transactions on Artificial Intelligence","issn_l":"2691-4581","issn":["2691-4581"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2401.03188","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2401.03188","pdf_url":"https://arxiv.org/pdf/2401.03188","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:mdsoar.org:11603/31370","is_oa":true,"landing_page_url":"http://hdl.handle.net/11603/31370","pdf_url":"https://mdsoar.org/bitstreams/1eed7382-c10d-439c-878f-a41a4b05acbc/download","source":{"id":"https://openalex.org/S4306402556","display_name":"Maryland Shared Open Access Repository (USMAI Consortium)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Text"},{"id":"pmh:oai:mdsoar.org:11603/31447","is_oa":false,"landing_page_url":"http://hdl.handle.net/11603/31447","pdf_url":null,"source":{"id":"https://openalex.org/S4306402556","display_name":"Maryland Shared Open Access Repository (USMAI Consortium)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2401.03188","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2401.03188","pdf_url":"https://arxiv.org/pdf/2401.03188","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G106504683","display_name":"Collaborative Research: CyberTraining: Pilot: Operationalizing AI/Machine Learning for Cybersecurity Training","funder_award_id":"2309760","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G426653084","display_name":"SaTC: EDU: Collaborative: Bolstering UAV Cybersecurity Education through Curriculum Development with Hands-on Laboratory Framework","funder_award_id":"2317117","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306101","display_name":"National Aeronautics and Space Administration","ror":"https://ror.org/027ka1x80"},{"id":"https://openalex.org/F4320306108","display_name":"U.S. Department of Transportation","ror":"https://ror.org/02xfw2e90"},{"id":"https://openalex.org/F4320309204","display_name":"University of Maryland, Baltimore County","ror":"https://ror.org/02qskvh78"},{"id":"https://openalex.org/F4320310348","display_name":"Embry-Riddle Aeronautical University","ror":"https://ror.org/010jskt71"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4390729056.pdf","grobid_xml":"https://content.openalex.org/works/W4390729056.grobid-xml"},"referenced_works_count":135,"referenced_works":["https://openalex.org/W138011893","https://openalex.org/W1512387364","https://openalex.org/W1514281731","https://openalex.org/W1964763677","https://openalex.org/W1965229818","https://openalex.org/W1995945562","https://openalex.org/W2006849174","https://openalex.org/W2026144840","https://openalex.org/W2029576182","https://openalex.org/W2051203581","https://openalex.org/W2081580037","https://openalex.org/W2099510464","https://openalex.org/W2113996845","https://openalex.org/W2117539524","https://openalex.org/W2165073069","https://openalex.org/W2168209108","https://openalex.org/W2171278097","https://openalex.org/W2232898749","https://openalex.org/W2250539671","https://openalex.org/W2295266283","https://openalex.org/W2521367263","https://openalex.org/W2543296129","https://openalex.org/W2561529111","https://openalex.org/W2594877703","https://openalex.org/W2614087582","https://openalex.org/W2616028256","https://openalex.org/W2618043096","https://openalex.org/W2621167405","https://openalex.org/W2721006554","https://openalex.org/W2748147677","https://openalex.org/W2760733685","https://openalex.org/W2766447205","https://openalex.org/W2767656849","https://openalex.org/W2782864149","https://openalex.org/W2798535736","https://openalex.org/W2800473699","https://openalex.org/W2800686263","https://openalex.org/W2810169973","https://openalex.org/W2852179785","https://openalex.org/W2859484040","https://openalex.org/W2869036160","https://openalex.org/W2888824816","https://openalex.org/W2889249015","https://openalex.org/W2897855864","https://openalex.org/W2898868990","https://openalex.org/W2904068395","https://openalex.org/W2907839701","https://openalex.org/W2930003055","https://openalex.org/W2945188138","https://openalex.org/W2945682693","https://openalex.org/W2951823788","https://openalex.org/W2953388933","https://openalex.org/W2955566917","https://openalex.org/W2957905354","https://openalex.org/W2962692913","https://openalex.org/W2963054787","https://openalex.org/W2963208512","https://openalex.org/W2963486920","https://openalex.org/W2963575966","https://openalex.org/W2963600714","https://openalex.org/W2963673089","https://openalex.org/W2973229164","https://openalex.org/W2995359496","https://openalex.org/W3004493192","https://openalex.org/W3007157104","https://openalex.org/W3007481080","https://openalex.org/W3021378896","https://openalex.org/W3036286896","https://openalex.org/W3106390645","https://openalex.org/W3113149630","https://openalex.org/W3125542198","https://openalex.org/W3161272080","https://openalex.org/W3171879404","https://openalex.org/W3200351420","https://openalex.org/W4206078757","https://openalex.org/W4224215750","https://openalex.org/W4226284056","https://openalex.org/W4229376579","https://openalex.org/W4234731922","https://openalex.org/W4239025696","https://openalex.org/W4251827675","https://openalex.org/W4281480521","https://openalex.org/W4286432986","https://openalex.org/W4286978404","https://openalex.org/W4287782413","https://openalex.org/W4287829537","https://openalex.org/W4288046244","https://openalex.org/W4307783876","https://openalex.org/W4308622330","https://openalex.org/W4308939312","https://openalex.org/W4321015462","https://openalex.org/W4377086261","https://openalex.org/W4379536072","https://openalex.org/W4380534756","https://openalex.org/W4383371721","https://openalex.org/W4384648116","https://openalex.org/W4386432078","https://openalex.org/W4388517698","https://openalex.org/W4393099428","https://openalex.org/W4394650829","https://openalex.org/W6689418420","https://openalex.org/W6713174281","https://openalex.org/W6714134564","https://openalex.org/W6737893269","https://openalex.org/W6740406300","https://openalex.org/W6743369065","https://openalex.org/W6745094425","https://openalex.org/W6747701294","https://openalex.org/W6748277150","https://openalex.org/W6751044371","https://openalex.org/W6751161574","https://openalex.org/W6751278434","https://openalex.org/W6751437432","https://openalex.org/W6751691560","https://openalex.org/W6755427503","https://openalex.org/W6756114391","https://openalex.org/W6757459056","https://openalex.org/W6757902542","https://openalex.org/W6763887731","https://openalex.org/W6765694979","https://openalex.org/W6768831775","https://openalex.org/W6771324808","https://openalex.org/W6774097426","https://openalex.org/W6777048863","https://openalex.org/W6783117007","https://openalex.org/W6800948542","https://openalex.org/W6801153587","https://openalex.org/W6810041718","https://openalex.org/W6810844209","https://openalex.org/W6838701874","https://openalex.org/W6846841345","https://openalex.org/W6849912525","https://openalex.org/W6852986600","https://openalex.org/W6854465719","https://openalex.org/W7019082250"],"related_works":["https://openalex.org/W2078988604","https://openalex.org/W2044213223","https://openalex.org/W2767715425","https://openalex.org/W2101264565","https://openalex.org/W2161738606","https://openalex.org/W3139784857","https://openalex.org/W4254035807","https://openalex.org/W3141167149","https://openalex.org/W4390796750","https://openalex.org/W4386755271"],"abstract_inverted_index":{"Neurosymbolic":[0],"artificial":[1,61],"intelligence":[2,28,54],"(AI)":[3],"is":[4,22,48,74,174,178,184,233,244,247,303],"an":[5,160,325],"emerging":[6],"branch":[7],"of":[8,14,60,72,101,116,138,162,171,211,218,224,269,275,318],"AI":[9,16,21,107,112,200,213,232,309,324],"that":[10,27,53,63,75,83,104,198,249,301],"combines":[11,113],"the":[12,25,51,57,90,114,130,151,166,181,206,216,222,264,316],"strengths":[13],"symbolic":[15,35,118,152,182,219,265,308],"and":[17,37,95,119,143,153,168,188,208,227,235,252,266,282,290,332],"sub-symbolic":[18,46,106,120,154,212,267,320],"AI.":[19,220,334],"Symbolic":[20],"based":[23,49],"on":[24,50],"idea":[26,52],"can":[29,128,240],"be":[30],"represented":[31],"using":[32,307],"semantically":[33],"meaningful":[34],"rules":[36],"representations,":[38],"while":[39,273],"deep":[40],"learning":[41],"(DL),":[42],"or":[43,262,292,314],"sometimes":[44],"called":[45],"AI,":[47,121,140],"emerges":[55],"from":[56],"collective":[58],"behavior":[59],"neurons":[62],"are":[64,85,147,255,285,296],"connected":[65],"to":[66,87,204,230,258,310],"each":[67],"other.":[68],"A":[69],"major":[70],"drawback":[71],"DL":[73],"it":[76,177],"acts":[77],"as":[78,150],"a":[79,102,108,319],"\u201cblack":[80],"box\u201d,":[81],"meaning":[82],"predictions":[84,317],"difficult":[86],"explain,":[88],"making":[89,322],"testing":[91],"&":[92,97],"evaluation":[93],"(T&E)":[94],"validation":[96],"verification":[98],"(V&V)":[99],"processes":[100,170,210],"system":[103],"uses":[105],"challenge.":[109],"Since":[110],"neurosymbolic":[111,126,139,193,199,231,238,270,323],"advantages":[115],"both":[117],"this":[122],"survey":[123,134],"explores":[124],"how":[125,180,236],"applications":[127,271],"ease":[129,205],"V&V":[131,169,189,209,228,253,283],"process.":[132],"This":[133],"considers":[135],"two":[136],"taxonomies":[137],"evaluates":[141],"them,":[142],"analyzes":[144],"which":[145],"algorithms":[146],"commonly":[148],"used":[149,185],"components":[155,173],"in":[156,191,306],"current":[157,163,192,225,250,280],"applications.":[158,194],"Additionally,":[159,221],"overview":[161],"techniques":[164,254],"for":[165,186,329],"T&E":[167,187,207,226,251,281],"these":[172,242],"provided.":[175],"Furthermore,":[176],"investigated":[179],"part":[183,268],"purposes":[190],"Our":[195,298],"research":[196,299,327],"shows":[197,300],"has":[201],"great":[202,304],"potential":[203,305],"by":[214,288],"leveraging":[215],"possibilities":[217],"applicability":[223],"methods":[229,243,284],"assessed,":[234],"different":[237],"architectures":[239],"impact":[241],"explored.":[245],"It":[246],"found":[248],"partly":[256],"sufficient":[257],"test,":[259,311],"evaluate,":[260,312],"verify,":[261,313],"validate":[263,315],"independently,":[272],"some":[274],"them":[276],"use":[277],"approaches":[278,295],"where":[279],"not":[286],"applicable":[287],"default,":[289],"adjustments":[291],"even":[293],"new":[294],"needed.":[297],"there":[302],"model,":[321],"interesting":[326],"direction":[328],"safe,":[330],"secure,":[331],"trustworthy":[333]},"counts_by_year":[{"year":2026,"cited_by_count":5},{"year":2025,"cited_by_count":11},{"year":2024,"cited_by_count":8}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}