{"id":"https://openalex.org/W4409970566","doi":"https://doi.org/10.1007/978-3-031-91118-7_9","title":"Neural Network Verification is a Programming Language Challenge","display_name":"Neural Network Verification is a Programming Language Challenge","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4409970566","doi":"https://doi.org/10.1007/978-3-031-91118-7_9"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-91118-7_9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-91118-7_9","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-91118-7_9.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-91118-7_9.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057689302","display_name":"Lucas C. Cordeiro","orcid":"https://orcid.org/0000-0002-6235-4272"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Lucas C. Cordeiro","raw_affiliation_strings":["University of Manchester, Manchester, UK"],"affiliations":[{"raw_affiliation_string":"University of Manchester, Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006770740","display_name":"Matthew L. Daggitt","orcid":"https://orcid.org/0000-0002-2552-3671"},"institutions":[{"id":"https://openalex.org/I177877127","display_name":"University of Western Australia","ror":"https://ror.org/047272k79","country_code":"AU","type":"education","lineage":["https://openalex.org/I177877127"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Matthew L. Daggitt","raw_affiliation_strings":["University of Western Australia, Perth, Australia"],"affiliations":[{"raw_affiliation_string":"University of Western Australia, Perth, Australia","institution_ids":["https://openalex.org/I177877127"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018230981","display_name":"Julien Girard-Satabin","orcid":"https://orcid.org/0000-0001-6374-3694"},"institutions":[{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"funder","lineage":["https://openalex.org/I2738703131"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Julien Girard-Satabin","raw_affiliation_strings":["Atomic Energy and Alternative Energies Commission, Paris, France"],"affiliations":[{"raw_affiliation_string":"Atomic Energy and Alternative Energies Commission, Paris, France","institution_ids":["https://openalex.org/I2738703131"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081405133","display_name":"Omri Isac","orcid":"https://orcid.org/0009-0000-6505-6900"},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Omri Isac","raw_affiliation_strings":["Hebrew University of Jerusalem, Jerusalem, Israel"],"affiliations":[{"raw_affiliation_string":"Hebrew University of Jerusalem, Jerusalem, Israel","institution_ids":["https://openalex.org/I197251160"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067901159","display_name":"Taylor T. Johnson","orcid":"https://orcid.org/0000-0001-8021-9923"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Taylor T. Johnson","raw_affiliation_strings":["Vanderbilt University, Nashville, USA"],"affiliations":[{"raw_affiliation_string":"Vanderbilt University, Nashville, USA","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102986148","display_name":"Guy Katz","orcid":"https://orcid.org/0000-0002-7729-8373"},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Guy Katz","raw_affiliation_strings":["Hebrew University of Jerusalem, Jerusalem, Israel"],"affiliations":[{"raw_affiliation_string":"Hebrew University of Jerusalem, Jerusalem, Israel","institution_ids":["https://openalex.org/I197251160"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026643182","display_name":"Ekaterina Komendantskaya","orcid":"https://orcid.org/0000-0002-3240-0987"},"institutions":[{"id":"https://openalex.org/I32062511","display_name":"Heriot-Watt University","ror":"https://ror.org/04mghma93","country_code":"GB","type":"education","lineage":["https://openalex.org/I32062511"]},{"id":"https://openalex.org/I43439940","display_name":"University of Southampton","ror":"https://ror.org/01ryk1543","country_code":"GB","type":"education","lineage":["https://openalex.org/I43439940"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ekaterina Komendantskaya","raw_affiliation_strings":["Heriot-Watt University, Edinburgh, UK","Southampton University, Southampton, UK"],"affiliations":[{"raw_affiliation_string":"Heriot-Watt University, Edinburgh, UK","institution_ids":["https://openalex.org/I32062511"]},{"raw_affiliation_string":"Southampton University, Southampton, UK","institution_ids":["https://openalex.org/I43439940"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000248802","display_name":"Augustin Lemesle","orcid":null},"institutions":[{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"funder","lineage":["https://openalex.org/I2738703131"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Augustin Lemesle","raw_affiliation_strings":["Atomic Energy and Alternative Energies Commission, Paris, France"],"affiliations":[{"raw_affiliation_string":"Atomic Energy and Alternative Energies Commission, Paris, France","institution_ids":["https://openalex.org/I2738703131"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028554978","display_name":"Edoardo Manino","orcid":"https://orcid.org/0000-0003-0028-5440"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Edoardo Manino","raw_affiliation_strings":["University of Manchester, Manchester, UK"],"affiliations":[{"raw_affiliation_string":"University of Manchester, Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017082458","display_name":"Artjoms \u0160inkarovs","orcid":"https://orcid.org/0000-0003-3292-2985"},"institutions":[{"id":"https://openalex.org/I43439940","display_name":"University of Southampton","ror":"https://ror.org/01ryk1543","country_code":"GB","type":"education","lineage":["https://openalex.org/I43439940"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Artjoms \u0160inkarovs","raw_affiliation_strings":["Southampton University, Southampton, UK"],"affiliations":[{"raw_affiliation_string":"Southampton University, Southampton, UK","institution_ids":["https://openalex.org/I43439940"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100637734","display_name":"Haoze Wu","orcid":"https://orcid.org/0000-0002-5077-144X"},"institutions":[{"id":"https://openalex.org/I177605424","display_name":"Amherst College","ror":"https://ror.org/028vqfs63","country_code":"US","type":"education","lineage":["https://openalex.org/I177605424"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Haoze Wu","raw_affiliation_strings":["Amherst College, Amherst, USA"],"affiliations":[{"raw_affiliation_string":"Amherst College, Amherst, USA","institution_ids":["https://openalex.org/I177605424"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":11,"corresponding_author_ids":["https://openalex.org/A5057689302"],"corresponding_institution_ids":["https://openalex.org/I28407311"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":8.6175,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.97105432,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"206","last_page":"235"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9679999947547913,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9631999731063843,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.903968334197998},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7300888299942017},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.5089125633239746},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3503538966178894}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.903968334197998},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7300888299942017},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5089125633239746},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3503538966178894}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-031-91118-7_9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-91118-7_9","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-91118-7_9.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.atira.dk:openaire/3f9d5c0e-3c73-4b5b-bf06-e94a1a88e00c","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/3f9d5c0e-3c73-4b5b-bf06-e94a1a88e00c","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Cordeiro, L C, Daggitt, M L, Girard-Satabin, J, Isac, O, Johnson, T T, Katz, G, Komendantskaya, E, Lemesle, A, Manino, E, \u0160inkarovs, A & Wu, H 2025, Neural Network Verification is a Programming Language Challenge. in V Vafeiadis (ed.), 34th European Symposium on Programming. vol. 15694, Springer Cham, pp. 206\u2013235. https://doi.org/10.1007/978-3-031-91118-7_9","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.atira.dk:openaire/555af5f6-1b05-4b33-947f-18b0813d038f","is_oa":true,"landing_page_url":"https://admin.research-repository.uwa.edu.au/en/publications/555af5f6-1b05-4b33-947f-18b0813d038f","pdf_url":null,"source":{"id":"https://openalex.org/S4306402523","display_name":"UWA Profiles and Research Repository (University of Western Australia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177877127","host_organization_name":"The University of Western Australia","host_organization_lineage":["https://openalex.org/I177877127"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Cordeiro, L C, Daggitt, M L, Girard-Satabin, J, Isac, O, Johnson, T T, Katz, G, Komendantskaya, E, Lemesle, A, Manino, E, \u0160inkarovs, A & Wu, H 2025, Neural Network Verification is a Programming Language Challenge. in V Vafeiadis (ed.), Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3\u20138, 2025, Proceedings, Part I. Lecture Notes in Computer Science, vol. 15694 LNCS, Springer Nature Switzerland AG, pp. 206-235, 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, Canada, 3/05/25. https://doi.org/10.1007/978-3-031-91118-7_9","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-91118-7_9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-91118-7_9","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-91118-7_9.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4824609572","display_name":"AISEC: AI Secure and Explainable by Construction","funder_award_id":"EP/T026960/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5703192963","display_name":"Verifiably Safe and Correct Deep Neural Networks","funder_award_id":"101112713","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6050945463","display_name":"Plateforme de Deep Learning open source et ind\u00e9pendante d\u00e9di\u00e9e \u00e0 l'embarqu\u00e9","funder_award_id":"ANR-23-DEGR-0001","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G6661291015","display_name":"EnnCore: End-to-End Conceptual Guarding of Neural Architectures","funder_award_id":"EP/T026995/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8452545418","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8654818507","display_name":null,"funder_award_id":"Mathematics","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G975799825","display_name":null,"funder_award_id":"France 2030 prog","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4409970566.pdf","grobid_xml":"https://content.openalex.org/works/W4409970566.grobid-xml"},"referenced_works_count":96,"referenced_works":["https://openalex.org/W327452528","https://openalex.org/W1820726602","https://openalex.org/W1981276685","https://openalex.org/W2095907349","https://openalex.org/W2165073069","https://openalex.org/W2543296129","https://openalex.org/W2594877703","https://openalex.org/W2623933443","https://openalex.org/W2747329762","https://openalex.org/W2791251367","https://openalex.org/W2803549871","https://openalex.org/W2889490035","https://openalex.org/W2900153411","https://openalex.org/W2903710663","https://openalex.org/W2919694184","https://openalex.org/W2938701611","https://openalex.org/W2948180708","https://openalex.org/W2948209403","https://openalex.org/W2952402617","https://openalex.org/W2957311447","https://openalex.org/W2962692913","https://openalex.org/W2963054787","https://openalex.org/W2963673089","https://openalex.org/W2964130946","https://openalex.org/W2980176926","https://openalex.org/W2981849318","https://openalex.org/W2982644126","https://openalex.org/W2990945337","https://openalex.org/W3003821665","https://openalex.org/W3008515144","https://openalex.org/W3037629243","https://openalex.org/W3040611682","https://openalex.org/W3046272654","https://openalex.org/W3048679064","https://openalex.org/W3090567261","https://openalex.org/W3091798065","https://openalex.org/W3098394944","https://openalex.org/W3098560806","https://openalex.org/W3111892021","https://openalex.org/W3113369941","https://openalex.org/W3122184684","https://openalex.org/W3123045479","https://openalex.org/W3124237877","https://openalex.org/W3137147200","https://openalex.org/W3140205966","https://openalex.org/W3154009503","https://openalex.org/W3176862352","https://openalex.org/W3183369696","https://openalex.org/W3184441520","https://openalex.org/W3208223916","https://openalex.org/W3210373155","https://openalex.org/W4200164757","https://openalex.org/W4200390578","https://openalex.org/W4206078757","https://openalex.org/W4206602494","https://openalex.org/W4221155892","https://openalex.org/W4221167340","https://openalex.org/W4225813442","https://openalex.org/W4233996382","https://openalex.org/W4245217702","https://openalex.org/W4283212640","https://openalex.org/W4285605913","https://openalex.org/W4290087446","https://openalex.org/W4293243588","https://openalex.org/W4297858296","https://openalex.org/W4311273093","https://openalex.org/W4312283640","https://openalex.org/W4312660377","https://openalex.org/W4323026396","https://openalex.org/W4366449580","https://openalex.org/W4379165537","https://openalex.org/W4379177005","https://openalex.org/W4379193103","https://openalex.org/W4379536100","https://openalex.org/W4381571085","https://openalex.org/W4384521896","https://openalex.org/W4384573554","https://openalex.org/W4385768198","https://openalex.org/W4386580518","https://openalex.org/W4387656368","https://openalex.org/W4387667084","https://openalex.org/W4387735088","https://openalex.org/W4387796988","https://openalex.org/W4387868663","https://openalex.org/W4388878394","https://openalex.org/W4390437556","https://openalex.org/W4390897578","https://openalex.org/W4391988416","https://openalex.org/W4393161192","https://openalex.org/W4393942893","https://openalex.org/W4394698764","https://openalex.org/W4398796317","https://openalex.org/W4400938834","https://openalex.org/W4400939442","https://openalex.org/W4402753567","https://openalex.org/W4408224233"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Abstract":[0],"Neural":[1],"network":[2,69],"verification":[3,22,70],"is":[4,42],"a":[5,54],"new":[6],"and":[7,24,76],"rapidly":[8],"developing":[9],"field":[10],"of":[11,60],"research.":[12],"So":[13],"far,":[14],"the":[15,30,48,57],"main":[16],"priority":[17],"has":[18,34],"been":[19,35],"establishing":[20],"efficient":[21],"algorithms":[23],"tools,":[25],"while":[26],"proper":[27],"support":[28],"from":[29,47],"programming":[31,49,73],"language":[32,50,74],"perspective":[33],"considered":[36],"secondary":[37],"or":[38],"unimportant.":[39],"Yet,":[40],"there":[41],"mounting":[43],"evidence":[44],"that":[45],"insights":[46],"community":[51],"may":[52],"make":[53],"difference":[55],"in":[56],"future":[58,79],"development":[59],"this":[61,64],"domain.":[62],"In":[63],"paper,":[65],"we":[66],"formulate":[67],"neural":[68],"challenges":[71,75],"as":[72],"suggest":[77],"possible":[78],"solutions.":[80]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-14T08:04:32.555800","created_date":"2025-10-10T00:00:00"}