{"id":"https://openalex.org/W7131856183","doi":"https://doi.org/10.48550/arxiv.2602.22968","title":"Certified Circuits: Stability Guarantees for Mechanistic Circuits","display_name":"Certified Circuits: Stability Guarantees for Mechanistic Circuits","publication_year":2026,"publication_date":"2026-02-26","ids":{"openalex":"https://openalex.org/W7131856183","doi":"https://doi.org/10.48550/arxiv.2602.22968"},"language":"en","primary_location":{"id":"pmh:doi:10.48550/arxiv.2602.22968","is_oa":true,"landing_page_url":null,"pdf_url":null,"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":"Article"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":null,"any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016742934","display_name":"Alaa Anani","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Anani, Alaa","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058318846","display_name":"Tobias Lorenz","orcid":"https://orcid.org/0000-0003-4369-2644"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lorenz, Tobias","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5120757517","display_name":"Bernt Schiele","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Schiele, Bernt","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5127094334","display_name":"Mario Fritz","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fritz, Mario","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5127120386","display_name":"Jonas Fischer","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fischer, Jonas","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":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.24487277,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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.8611000180244446,"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.8611000180244446,"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/T10036","display_name":"Advanced Neural Network Applications","score":0.04010000079870224,"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"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.031599998474121094,"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/interpretability","display_name":"Interpretability","score":0.8167999982833862},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.6204000115394592},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.4961000084877014},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.4097000062465668},{"id":"https://openalex.org/keywords/network-analysis","display_name":"Network analysis","score":0.4025999903678894}],"concepts":[{"id":"https://openalex.org/C2781067378","wikidata":"https://www.wikidata.org/wiki/Q17027399","display_name":"Interpretability","level":2,"score":0.8167999982833862},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.683899998664856},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.6204000115394592},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.4961000084877014},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4097000062465668},{"id":"https://openalex.org/C32946077","wikidata":"https://www.wikidata.org/wiki/Q618079","display_name":"Network analysis","level":2,"score":0.4025999903678894},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.39089998602867126},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.3285999894142151},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.27950000762939453},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.272599995136261},{"id":"https://openalex.org/C61272859","wikidata":"https://www.wikidata.org/wiki/Q7834031","display_name":"Transferability","level":3,"score":0.26489999890327454}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:doi:10.48550/arxiv.2602.22968","is_oa":true,"landing_page_url":null,"pdf_url":null,"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":"Article"},{"id":"pmh:oai:pure.mpg.de:item_3695945","is_oa":true,"landing_page_url":"https://hdl.handle.net/21.11116/0000-0012-A70C-3","pdf_url":null,"source":{"id":"https://openalex.org/S4306400654","display_name":"MPG.PuRe (Max Planck Society)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I149899117","host_organization_name":"Max Planck Society","host_organization_lineage":["https://openalex.org/I149899117"],"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":"info:eu-repo/semantics/workingPaper"},{"id":"doi:10.48550/arxiv.2602.22968","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.22968","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:doi:10.48550/arxiv.2602.22968","is_oa":true,"landing_page_url":null,"pdf_url":null,"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":"Article"},"sustainable_development_goals":[{"score":0.544815182685852,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Understanding":[0],"how":[1],"neural":[2],"networks":[3],"arrive":[4],"at":[5],"their":[6],"predictions":[7],"is":[8],"essential":[9],"for":[10,25,69],"debugging,":[11],"auditing,":[12],"and":[13,43,122,136,140,154,160,182],"deployment.":[14],"Mechanistic":[15],"interpretability":[16],"pursues":[17],"this":[18],"goal":[19],"by":[20,174],"identifying":[21],"circuits--minimal":[22],"subnetworks":[23],"responsible":[24],"specific":[26],"behaviors.":[27],"However,":[28],"existing":[29],"circuit":[30,70,89,169],"discovery":[31,77,170],"methods":[32],"are":[33,113,119,179],"brittle:":[34],"circuits":[35,117,147],"depend":[36],"strongly":[37],"on":[38,98,133,171],"the":[39,54,94,99,108,186],"chosen":[40],"concept":[41,55,109],"dataset":[42],"often":[44],"fail":[45],"to":[46,83,103,150,156],"transfer":[47],"out-of-distribution,":[48],"raising":[49],"doubts":[50],"whether":[51],"they":[52],"capture":[53],"or":[56,91],"merely":[57],"dataset-specific":[58],"artifacts.":[59],"We":[60,125],"introduce":[61],"Certified":[62,146,166],"Circuits,":[63],"which":[64],"provide":[65],"provable":[66],"stability":[67],"guarantees":[68],"discovery.":[71],"Our":[72],"framework":[73],"wraps":[74],"any":[75],"black-box":[76],"algorithm":[78],"with":[79,185],"randomized":[80],"data":[81],"subsampling":[82],"certify":[84],"that":[85,118,178],"inclusion":[86],"decisions":[87],"over":[88],"components--neurons":[90],"edges":[92],"of":[93,107],"model":[95],"graph,":[96],"depending":[97],"base":[100],"algorithm--are":[101],"invariant":[102],"bounded":[104],"edit-distance":[105],"perturbations":[106],"dataset.":[110],"Unstable":[111],"components":[112],"abstained":[114],"from,":[115],"yielding":[116],"more":[120,123],"compact":[121],"accurate.":[124],"validate":[126],"across":[127],"three":[128],"architectures":[129],"(ResNet,":[130],"ViT,":[131],"GPT-2)":[132],"vision":[134],"(ImageNet":[135],"four":[137],"OOD":[138],"datasets)":[139],"language":[141],"(IOI,":[142],"IOI-Hard,":[143],"Greater-Than)":[144],"tasks.":[145],"achieve":[148],"up":[149,155],"56%":[151],"higher":[152],"accuracy":[153],"80%":[157],"fewer":[158],"components,":[159],"remain":[161],"reliable":[162],"where":[163],"baselines":[164],"degrade.":[165],"Circuits":[167],"puts":[168],"formal":[172],"ground":[173],"producing":[175],"mechanistic":[176],"explanations":[177],"provably":[180],"stable":[181],"better":[183],"aligned":[184],"target":[187],"concept.":[188],"Code:":[189],"https://github.com/AlaaAnani/certified-circuits.":[190]},"counts_by_year":[],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2026-02-28T00:00:00"}