{"id":"https://openalex.org/W4416932867","doi":"https://doi.org/10.4230/lipics.ecoop.2026.3","title":"Faster Verified Explanations for Neural Networks","display_name":"Faster Verified Explanations for Neural Networks","publication_year":2025,"publication_date":"2025-11-28","ids":{"openalex":"https://openalex.org/W4416932867","doi":"https://doi.org/10.4230/lipics.ecoop.2026.3"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2512.00164","is_oa":true,"landing_page_url":"https://arxiv.org/abs/2512.00164","pdf_url":"https://arxiv.org/pdf/2512.00164","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"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2512.00164","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073957171","display_name":"Alessandro De Palma","orcid":null},"institutions":[{"id":"https://openalex.org/I909854389","display_name":"London School of Economics and Political Science","ror":"https://ror.org/0090zs177","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I909854389"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"De Palma, Alessandro","raw_affiliation_strings":["London School of Economics and Political Science, UK"],"raw_orcid":"https://orcid.org/0009-0002-7229-7723","affiliations":[{"raw_affiliation_string":"London School of Economics and Political Science, UK","institution_ids":["https://openalex.org/I909854389"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006566093","display_name":"Greta Dolcetti","orcid":"https://orcid.org/0000-0002-2983-9251"},"institutions":[{"id":"https://openalex.org/I149461666","display_name":"Ca' Foscari University of Venice","ror":"https://ror.org/04yzxz566","country_code":"IT","type":"education","lineage":["https://openalex.org/I149461666"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Dolcetti, Greta","raw_affiliation_strings":["Ca' Foscari University of Venice, Italy"],"raw_orcid":"https://orcid.org/0000-0002-2983-9251","affiliations":[{"raw_affiliation_string":"Ca' Foscari University of Venice, Italy","institution_ids":["https://openalex.org/I149461666"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077439185","display_name":"Caterina Urban","orcid":"https://orcid.org/0000-0002-8127-9642"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I29607241","display_name":"\u00c9cole Normale Sup\u00e9rieure - PSL","ror":"https://ror.org/05a0dhs15","country_code":"FR","type":"other","lineage":["https://openalex.org/I2746051580","https://openalex.org/I29607241"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Urban, Caterina","raw_affiliation_strings":["Inria $&$ ENS $|$ PSL, Paris, France"],"raw_orcid":"https://orcid.org/0000-0002-8127-9642","affiliations":[{"raw_affiliation_string":"Inria $&$ ENS $|$ PSL, Paris, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I29607241"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.9487000107765198,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.9487000107765198,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.019500000402331352,"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/T11273","display_name":"Advanced Graph Neural Networks","score":0.004399999976158142,"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/scalability","display_name":"Scalability","score":0.7347000241279602},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.6510000228881836},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5963000059127808},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.5435000061988831},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.45350000262260437},{"id":"https://openalex.org/keywords/face","display_name":"Face (sociological concept)","score":0.4032000005245209},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.38839998841285706}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.751800000667572},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7347000241279602},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6510000228881836},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5963000059127808},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5543000102043152},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.5435000061988831},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.45350000262260437},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.429500013589859},{"id":"https://openalex.org/C2779304628","wikidata":"https://www.wikidata.org/wiki/Q3503480","display_name":"Face (sociological concept)","level":2,"score":0.4032000005245209},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.38839998841285706},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3562999963760376},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.34940001368522644},{"id":"https://openalex.org/C2984842247","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep neural networks","level":3,"score":0.3476000130176544},{"id":"https://openalex.org/C87868495","wikidata":"https://www.wikidata.org/wiki/Q750843","display_name":"Information processing","level":2,"score":0.30889999866485596},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.2955999970436096},{"id":"https://openalex.org/C3832189","wikidata":"https://www.wikidata.org/wiki/Q8588916","display_name":"Models of neural computation","level":3,"score":0.2939999997615814},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.288100004196167},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.28220000863075256},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.2662000060081482},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.2563000023365021}],"mesh":[],"locations_count":6,"locations":[{"id":"pmh:oai:arXiv.org:2512.00164","is_oa":true,"landing_page_url":"https://arxiv.org/abs/2512.00164","pdf_url":"https://arxiv.org/pdf/2512.00164","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:doi:10.4230/lipics.ecoop.2026.3","is_oa":true,"landing_page_url":"https://openreview.net/forum?id=mzyZ4wzKlM","pdf_url":"http://jmlr.org/papers/volume21/19-468/19-468.pdf","source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},{"id":"pmh:oai:researchonline.lse.ac.uk:138359","is_oa":true,"landing_page_url":"https://orcid.org/0009-0002-7229-7723>,","pdf_url":"https://researchonline.lse.ac.uk/id/eprint/138359/1/ecoop2026_Alessandro_De_Palma.pdf","source":{"id":"https://openalex.org/S4306401593","display_name":"London School of Economics and Political Science Research Online (London School of Economics and Political Science)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I909854389","host_organization_name":"London School of Economics and Political Science","host_organization_lineage":["https://openalex.org/I909854389"],"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":"Conference or Workshop Item"},{"id":"pmh:oai:HAL:hal-05603296v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-05603296","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ECOOP 2026 - 40th European Conference on Object-Oriented Programming, Jul 2026, Bruxelles, Belgium. ⟨10.4230/LIPIcs.ECOOP.2026.9⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"doi:10.48550/arxiv.2512.00164","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2512.00164","pdf_url":null,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.4230/lipics.ecoop.2026.3","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.ecoop.2026.3","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"ConferencePaper"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2512.00164","is_oa":true,"landing_page_url":"https://arxiv.org/abs/2512.00164","pdf_url":"https://arxiv.org/pdf/2512.00164","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/G1190173965","display_name":null,"funder_award_id":"France2030","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G2018133609","display_name":"Seebibyte: Visual Search for the Era of Big Data","funder_award_id":"EP/M013774/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2658673765","display_name":"SAIS: Secure AI assistantS","funder_award_id":"EP/T026731/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2807882867","display_name":null,"funder_award_id":"EP/N019474/1","funder_id":"https://openalex.org/F4320333591","funder_display_name":"Multidisciplinary University Research Initiative"},{"id":"https://openalex.org/G3125735559","display_name":"Formally Certified Reasoning in Machine Learning","funder_award_id":"ANR-23-CE25-0009","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G3387446185","display_name":null,"funder_award_id":"EP/M013774/","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5142882285","display_name":null,"funder_award_id":"ERC-2012-AdG 321162-HELIOS","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7767666318","display_name":null,"funder_award_id":"EP/L015987/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8416736120","display_name":null,"funder_award_id":"Seebibyte EP/M013774/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8504406543","display_name":"Understanding scenes and events through joint parsing, cognitive reasoning and lifelong learning","funder_award_id":"EP/N019474/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8557363096","display_name":"Safe AI through Formal Methods","funder_award_id":"ANR-23-PEIA-0006","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320314731","display_name":"UK Research and Innovation","ror":"https://ror.org/001aqnf71"},{"id":"https://openalex.org/F4320320005","display_name":"Royal Academy of Engineering","ror":"https://ror.org/0526snb40"},{"id":"https://openalex.org/F4320320290","display_name":"University of Oxford","ror":"https://ror.org/052gg0110"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320333591","display_name":"Multidisciplinary University Research Initiative","ror":null},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4416932867.pdf","grobid_xml":"https://content.openalex.org/works/W4416932867.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Verified":[0],"explanations":[1],"are":[2,15],"a":[3,47,97],"principled":[4],"way":[5],"to":[6,32,50,81],"explain":[7],"the":[8,56,92,112,118,125],"decisions":[9],"taken":[10],"by":[11,58,69],"neural":[12,33],"networks,":[13],"which":[14,136],"otherwise":[16],"black-box":[17],"in":[18],"nature.":[19],"However,":[20],"these":[21],"techniques":[22],"face":[23],"significant":[24],"scalability":[25,127],"challenges,":[26],"as":[27],"they":[28],"require":[29],"multiple":[30],"calls":[31],"network":[34,115],"verifiers,":[35],"each":[36],"of":[37,65,102,114,128,132,147,149],"them":[38],"with":[39,79,145],"an":[40],"exponential":[41],"worst-case":[42],"complexity.":[43],"We":[44],"present":[45,96],"FaVeX,":[46,130],"novel":[48,98],"algorithm":[49],"compute":[51],"verified":[52,103],"explanations.":[53],"FaVeX":[54],"accelerates":[55],"computation":[57],"dynamically":[59],"combining":[60],"batch":[61],"and":[62,68,85,99,131],"sequential":[63],"processing":[64],"input":[66,83],"features,":[67,84],"reusing":[70],"information":[71],"from":[72],"previous":[73],"queries,":[74],"both":[75,129],"when":[76,86],"proving":[77],"invariances":[78],"respect":[80],"certain":[82],"searching":[87],"for":[88],"feature":[89],"assignments":[90],"altering":[91],"prediction.":[93],"Furthermore,":[94],"we":[95],"hierarchical":[100],"definition":[101],"explanations,":[104,108,135],"termed":[105],"verifier-optimal":[106,133],"robust":[107,134],"that":[109],"explicitly":[110],"factors":[111],"incompleteness":[113],"verifiers":[116],"within":[117],"explanation.":[119],"Our":[120],"comprehensive":[121],"experimental":[122],"evaluation":[123],"demonstrates":[124],"superior":[126],"together":[137],"can":[138],"produce":[139],"meaningful":[140],"formal":[141],"explanation":[142],"on":[143],"networks":[144],"hundreds":[146],"thousands":[148],"non-linear":[150],"activations.":[151]},"counts_by_year":[],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-12-03T00:00:00"}