{"id":"https://openalex.org/W4417076968","doi":"https://doi.org/10.48550/arxiv.2511.20934","title":"Guaranteed Optimal Compositional Explanations for Neurons","display_name":"Guaranteed Optimal Compositional Explanations for Neurons","publication_year":2025,"publication_date":"2025-11-25","ids":{"openalex":"https://openalex.org/W4417076968","doi":"https://doi.org/10.48550/arxiv.2511.20934"},"language":null,"primary_location":{"id":"pmh:oai:arXiv.org:2511.20934","is_oa":true,"landing_page_url":"https://arxiv.org/abs/2511.20934","pdf_url":"https://arxiv.org/pdf/2511.20934","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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/2511.20934","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108358201","display_name":"Biagio La Rosa","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"La Rosa, Biagio","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5013309687","display_name":"Leilani H. Gilpin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gilpin, Leilani H.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"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.9431999921798706,"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.9431999921798706,"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/T11948","display_name":"Machine Learning in Materials Science","score":0.012799999676644802,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10036","display_name":"Advanced Neural Network Applications","score":0.00930000003427267,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/flexibility","display_name":"Flexibility (engineering)","score":0.5626000165939331},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.5532000064849854},{"id":"https://openalex.org/keywords/hyperparameter","display_name":"Hyperparameter","score":0.5501000285148621},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4805000126361847},{"id":"https://openalex.org/keywords/convolutional-neural-network","display_name":"Convolutional neural network","score":0.4641000032424927},{"id":"https://openalex.org/keywords/decomposition","display_name":"Decomposition","score":0.43709999322891235},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.43700000643730164},{"id":"https://openalex.org/keywords/beam-search","display_name":"Beam search","score":0.397599995136261},{"id":"https://openalex.org/keywords/domain-knowledge","display_name":"Domain knowledge","score":0.3847000002861023},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.37950000166893005}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6747999787330627},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.5626000165939331},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5532000064849854},{"id":"https://openalex.org/C8642999","wikidata":"https://www.wikidata.org/wiki/Q4171168","display_name":"Hyperparameter","level":2,"score":0.5501000285148621},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5196999907493591},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4805000126361847},{"id":"https://openalex.org/C81363708","wikidata":"https://www.wikidata.org/wiki/Q17084460","display_name":"Convolutional neural network","level":2,"score":0.4641000032424927},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.43709999322891235},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.43700000643730164},{"id":"https://openalex.org/C19889080","wikidata":"https://www.wikidata.org/wiki/Q2835852","display_name":"Beam search","level":3,"score":0.397599995136261},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3961000144481659},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.3847000002861023},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3824999928474426},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.37950000166893005},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.36910000443458557},{"id":"https://openalex.org/C66882249","wikidata":"https://www.wikidata.org/wiki/Q169336","display_name":"Homogeneous","level":2,"score":0.34779998660087585},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3255000114440918},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.31690001487731934},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.31380000710487366},{"id":"https://openalex.org/C125583679","wikidata":"https://www.wikidata.org/wiki/Q755673","display_name":"Search algorithm","level":2,"score":0.30239999294281006},{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.3001999855041504},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.2953999936580658},{"id":"https://openalex.org/C148043351","wikidata":"https://www.wikidata.org/wiki/Q4456944","display_name":"Current (fluid)","level":2,"score":0.29350000619888306},{"id":"https://openalex.org/C2780615836","wikidata":"https://www.wikidata.org/wiki/Q2471869","display_name":"USable","level":2,"score":0.2897000014781952},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.28929999470710754},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.27390000224113464},{"id":"https://openalex.org/C201789804","wikidata":"https://www.wikidata.org/wiki/Q2362762","display_name":"Search problem","level":2,"score":0.2678000032901764},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.267300009727478},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.265500009059906},{"id":"https://openalex.org/C153180895","wikidata":"https://www.wikidata.org/wiki/Q7148389","display_name":"Pattern recognition (psychology)","level":2,"score":0.26339998841285706},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.26179999113082886},{"id":"https://openalex.org/C155911833","wikidata":"https://www.wikidata.org/wiki/Q3817354","display_name":"Spatial intelligence","level":2,"score":0.2615000009536743},{"id":"https://openalex.org/C21847791","wikidata":"https://www.wikidata.org/wiki/Q191081","display_name":"Logical conjunction","level":2,"score":0.2502000033855438}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2511.20934","is_oa":true,"landing_page_url":"https://arxiv.org/abs/2511.20934","pdf_url":"https://arxiv.org/pdf/2511.20934","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2511.20934","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2511.20934","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2511.20934","is_oa":true,"landing_page_url":"https://arxiv.org/abs/2511.20934","pdf_url":"https://arxiv.org/pdf/2511.20934","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Compositional":[0],"explanations":[1,84,108,156,173],"are":[2,85,179,184],"a":[3,27,123,134,158,189],"family":[4],"of":[5,56,75,143,172],"methods":[6,208],"that":[7,125,151,170,200],"aim":[8],"to":[9,53,62,86,136,161],"describe":[10],"the":[11,36,40,47,54,57,64,87,100,110,116,127,130,138,144,148],"spatial":[12,37,131],"alignment":[13,38,139],"between":[14],"neurons'":[15],"receptive":[16],"field":[17],"activations":[18],"and":[19,59,77,146,197,215],"concepts":[20,183],"through":[21],"logical":[22],"rules,":[23],"typically":[24],"computed":[25],"via":[26],"search":[28,61,69,178],"over":[29,39,109,206],"all":[30],"possible":[31],"concept":[32],"combinations.":[33],"Since":[34],"computing":[35,104],"entire":[41,111],"state":[42,65,112],"space":[43,113],"is":[44],"computationally":[45],"infeasible,":[46],"literature":[48],"commonly":[49],"adopts":[50],"assumptions":[51],"related":[52],"structure":[55],"combinations":[58],"beam":[60,68,163,177],"restrict":[63],"space.":[66],"However,":[67],"cannot":[70],"provide":[71],"any":[72,141],"theoretical":[73,92],"guarantees":[74],"optimality,":[76],"it":[78,201],"remains":[79],"unclear":[80],"how":[81],"close":[82],"current":[83],"true":[88],"optimum.":[89],"In":[90],"this":[91,96,166],"paper,":[93],"we":[94,120,168,187],"address":[95],"gap":[97],"by":[98,115,193],"introducing":[99],"first":[101,149],"framework":[102],"for":[103],"guaranteed":[105],"optimal":[106,154],"compositional":[107,155],"spanned":[114],"adopted":[117],"assumptions.":[118],"Specifically,":[119],"propose:":[121],"(i)":[122],"decomposition":[124,196],"identifies":[126],"factors":[128],"influencing":[129],"alignment,":[132],"(ii)":[133],"heuristic":[135],"estimate":[137],"at":[140],"stage":[142],"search,":[145],"(iii)":[147],"algorithm":[150],"can":[152],"compute":[153],"in":[157,213],"time":[159],"comparable":[160],"exhaustive":[162],"search.":[164],"Using":[165],"framework,":[167],"demonstrate":[169],"10-40%":[171],"previously":[174],"obtained":[175],"with":[176],"suboptimal":[180],"when":[181],"overlapping":[182],"involved.":[185],"Finally,":[186],"evaluate":[188],"beam-search":[190],"variant":[191],"guided":[192],"our":[194],"proposed":[195],"heuristic,":[198],"showing":[199],"matches":[202],"or":[203],"improves":[204],"runtime":[205],"prior":[207],"while":[209],"offering":[210],"greater":[211],"flexibility":[212],"hyperparameters":[214],"computational":[216],"resources.":[217]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-11-28T00:00:00"}