{"id":"https://openalex.org/W6930039609","doi":"https://doi.org/10.5281/zenodo.10715563","title":"Interpretability Guarantees with Merlin-Arthur Classifiers","display_name":"Interpretability Guarantees with Merlin-Arthur Classifiers","publication_year":2024,"publication_date":"2024-02-27","ids":{"openalex":"https://openalex.org/W6930039609","doi":"https://doi.org/10.5281/zenodo.10715563"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.10715563","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10715563","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},"type":"software","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.10715563","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"W\u00e4ldchen, Stephan","orcid":null},"institutions":[{"id":"https://openalex.org/I195893171","display_name":"Zuse Institute Berlin","ror":"https://ror.org/02eva5865","country_code":"DE","type":"facility","lineage":["https://openalex.org/I195893171"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"W\u00e4ldchen, Stephan","raw_affiliation_strings":["Zuse Institute Berlin"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Zuse Institute Berlin","institution_ids":["https://openalex.org/I195893171"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Sharma, Kartikey","orcid":"https://orcid.org/0000-0001-6736-4827"},"institutions":[{"id":"https://openalex.org/I195893171","display_name":"Zuse Institute Berlin","ror":"https://ror.org/02eva5865","country_code":"DE","type":"facility","lineage":["https://openalex.org/I195893171"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sharma, Kartikey","raw_affiliation_strings":["Zuse Institute Berlin"],"raw_orcid":"https://orcid.org/0000-0001-6736-4827","affiliations":[{"raw_affiliation_string":"Zuse Institute Berlin","institution_ids":["https://openalex.org/I195893171"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Berkant Turan","orcid":"https://orcid.org/0009-0001-0154-0987"},"institutions":[{"id":"https://openalex.org/I195893171","display_name":"Zuse Institute Berlin","ror":"https://ror.org/02eva5865","country_code":"DE","type":"facility","lineage":["https://openalex.org/I195893171"]},{"id":"https://openalex.org/I4577782","display_name":"Technische Universit\u00e4t Berlin","ror":"https://ror.org/03v4gjf40","country_code":"DE","type":"education","lineage":["https://openalex.org/I4577782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Berkant Turan","raw_affiliation_strings":["Zuse Institute Berlin","Technische Universit\u00e4t Berlin"],"raw_orcid":"https://orcid.org/0009-0001-0154-0987","affiliations":[{"raw_affiliation_string":"Zuse Institute Berlin","institution_ids":["https://openalex.org/I195893171"]},{"raw_affiliation_string":"Technische Universit\u00e4t Berlin","institution_ids":["https://openalex.org/I4577782"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Zimmer, Max","orcid":"https://orcid.org/0009-0007-8683-1030"},"institutions":[{"id":"https://openalex.org/I195893171","display_name":"Zuse Institute Berlin","ror":"https://ror.org/02eva5865","country_code":"DE","type":"facility","lineage":["https://openalex.org/I195893171"]},{"id":"https://openalex.org/I4577782","display_name":"Technische Universit\u00e4t Berlin","ror":"https://ror.org/03v4gjf40","country_code":"DE","type":"education","lineage":["https://openalex.org/I4577782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Zimmer, Max","raw_affiliation_strings":["Zuse Institute Berlin","Technische Universit\u00e4t Berlin"],"raw_orcid":"https://orcid.org/0009-0007-8683-1030","affiliations":[{"raw_affiliation_string":"Zuse Institute Berlin","institution_ids":["https://openalex.org/I195893171"]},{"raw_affiliation_string":"Technische Universit\u00e4t Berlin","institution_ids":["https://openalex.org/I4577782"]}]},{"author_position":"last","author":{"id":null,"display_name":"Pokutta, Sebastian","orcid":"https://orcid.org/0000-0001-7365-3000"},"institutions":[{"id":"https://openalex.org/I195893171","display_name":"Zuse Institute Berlin","ror":"https://ror.org/02eva5865","country_code":"DE","type":"facility","lineage":["https://openalex.org/I195893171"]},{"id":"https://openalex.org/I4577782","display_name":"Technische Universit\u00e4t Berlin","ror":"https://ror.org/03v4gjf40","country_code":"DE","type":"education","lineage":["https://openalex.org/I4577782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Pokutta, Sebastian","raw_affiliation_strings":["Zuse Institute Berlin","Technische Universit\u00e4t Berlin"],"raw_orcid":"https://orcid.org/0000-0001-7365-3000","affiliations":[{"raw_affiliation_string":"Zuse Institute Berlin","institution_ids":["https://openalex.org/I195893171"]},{"raw_affiliation_string":"Technische Universit\u00e4t Berlin","institution_ids":["https://openalex.org/I4577782"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"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":true,"primary_topic":{"id":"https://openalex.org/T11585","display_name":"Exercise and Physiological Responses","score":0.15960000455379486,"subfield":{"id":"https://openalex.org/subfields/2742","display_name":"Rehabilitation"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},"topics":[{"id":"https://openalex.org/T11585","display_name":"Exercise and Physiological Responses","score":0.15960000455379486,"subfield":{"id":"https://openalex.org/subfields/2742","display_name":"Rehabilitation"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T11227","display_name":"Diabetic Foot Ulcer Assessment and Management","score":0.09790000319480896,"subfield":{"id":"https://openalex.org/subfields/2712","display_name":"Endocrinology, Diabetes and Metabolism"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T13551","display_name":"Biochemical effects in animals","score":0.0794999971985817,"subfield":{"id":"https://openalex.org/subfields/2737","display_name":"Physiology"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/interpretability","display_name":"Interpretability","score":0.961899995803833},{"id":"https://openalex.org/keywords/personalization","display_name":"Personalization","score":0.6118999719619751},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5105000138282776},{"id":"https://openalex.org/keywords/mnist-database","display_name":"MNIST database","score":0.5095000267028809},{"id":"https://openalex.org/keywords/software-portability","display_name":"Software portability","score":0.40689998865127563},{"id":"https://openalex.org/keywords/initialization","display_name":"Initialization","score":0.367900013923645},{"id":"https://openalex.org/keywords/codebase","display_name":"Codebase","score":0.35670000314712524}],"concepts":[{"id":"https://openalex.org/C2781067378","wikidata":"https://www.wikidata.org/wiki/Q17027399","display_name":"Interpretability","level":2,"score":0.961899995803833},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7401999831199646},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.6175000071525574},{"id":"https://openalex.org/C183003079","wikidata":"https://www.wikidata.org/wiki/Q1000371","display_name":"Personalization","level":2,"score":0.6118999719619751},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5778999924659729},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5105000138282776},{"id":"https://openalex.org/C190502265","wikidata":"https://www.wikidata.org/wiki/Q17069496","display_name":"MNIST database","level":3,"score":0.5095000267028809},{"id":"https://openalex.org/C63000827","wikidata":"https://www.wikidata.org/wiki/Q3080428","display_name":"Software portability","level":2,"score":0.40689998865127563},{"id":"https://openalex.org/C114466953","wikidata":"https://www.wikidata.org/wiki/Q6034165","display_name":"Initialization","level":2,"score":0.367900013923645},{"id":"https://openalex.org/C51929080","wikidata":"https://www.wikidata.org/wiki/Q2425187","display_name":"Codebase","level":3,"score":0.35670000314712524},{"id":"https://openalex.org/C2776459999","wikidata":"https://www.wikidata.org/wiki/Q2119376","display_name":"Fidelity","level":2,"score":0.32989999651908875},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.3018999993801117},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.2994999885559082},{"id":"https://openalex.org/C110332635","wikidata":"https://www.wikidata.org/wiki/Q629498","display_name":"Genetic programming","level":2,"score":0.2906999886035919},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.2822999954223633},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.2791999876499176},{"id":"https://openalex.org/C124978682","wikidata":"https://www.wikidata.org/wiki/Q1201019","display_name":"Proof of concept","level":2,"score":0.2784999907016754},{"id":"https://openalex.org/C2780008327","wikidata":"https://www.wikidata.org/wiki/Q3962","display_name":"Laptop","level":2,"score":0.26510000228881836},{"id":"https://openalex.org/C8880873","wikidata":"https://www.wikidata.org/wiki/Q187787","display_name":"Genetic algorithm","level":2,"score":0.25220000743865967},{"id":"https://openalex.org/C44210515","wikidata":"https://www.wikidata.org/wiki/Q16968978","display_name":"Bespoke","level":2,"score":0.2517000138759613}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.10715563","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10715563","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"Software"}],"best_oa_location":{"id":"doi:10.5281/zenodo.10715563","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.10715563","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0,51,117],"repository":[1,118,232],"provides":[2,192],"the":[3,6,23,56,90,137,141,145,198,223,252],"codebase":[4],"for":[5,99,127,151,158,168,177,195,212,239],"Merlin-Arthur":[7,24,49,161,190],"Classifiers,":[8],"a":[9,33,63,73,77,97,193,236],"novel":[10],"multi-agent":[11],"framework":[12],"designed":[13],"to":[14,35,80,87,89,103,114,185,221,227],"enhance":[15],"interpretability":[16,37,241],"in":[17,41,72,197,242],"machine":[18],"learning":[19],"models.":[20],"Inspired":[21],"by":[22],"protocol":[25],"from":[26,251],"interactive":[27],"proof":[28],"systems,":[29,95],"this":[30],"project":[31],"introduces":[32],"method":[34],"ensure":[36],"guarantees,":[38],"as":[39,235],"detailed":[40],"our":[42,105,109,204],"AISTATS":[43],"2024":[44],"paper,":[45],"Interpretability":[46],"Guarantees":[47],"with":[48,108,144,166],"Classifiers.":[50],"approach":[52],"is":[53,86,233],"tested":[54],"on":[55,122,163],"MNIST":[57,178],"and":[58,66,70,101,111,125,130,148,160,171,179,217,244,249],"UCI":[59,180],"Census":[60,181],"datasets,":[61,165],"employing":[62],"verifier":[64],"(Arthur)":[65],"two":[67],"provers":[68],"(Merlin":[69],"Morgana)":[71],"setup":[74],"that":[75,202],"mimics":[76],"min-max":[78,200],"game":[79,201],"refine":[81],"classification":[82],"outcomes.":[83],"Our":[84],"objective":[85],"contribute":[88],"development":[91],"of":[92],"interpretable":[93],"AI":[94],"providing":[96],"toolkit":[98],"researchers":[100,220],"practitioners":[102],"replicate":[104],"experiments,":[106],"engage":[107],"methodology,":[110],"extend":[112],"it":[113],"new":[115],"contexts.":[116],"includes":[119],"comprehensive":[120],"guidance":[121],"setup,":[123],"usage,":[124],"customization":[126,210],"various":[128],"datasets":[129,182],"training":[131,162,175,187,191,224],"modes.":[132],"Getting":[133],"Started":[134],"involves":[135],"cloning":[136],"repository,":[138],"setting":[139],"up":[140],"Conda":[142],"environment":[143],"necessary":[146],"dependencies,":[147],"initializing":[149],"wandb":[150],"experiment":[152],"tracking.":[153],"Basic":[154],"Usage":[155],"outlines":[156],"steps":[157],"regular":[159],"supported":[164],"examples":[167,176],"different":[169],"configurations":[170],"advanced":[172],"features.":[173],"Regular":[174],"demonstrate":[183],"how":[184],"customize":[186],"parameters,":[188],"while":[189],"template":[194],"engaging":[196],"strategic":[199],"characterizes":[203],"interpretability-enhancing":[205],"methodology.":[206],"Advanced":[207],"Features":[208],"detail":[209],"options":[211],"loss":[213],"functions,":[214],"optimization":[215],"techniques,":[216],"regularization,":[218],"enabling":[219],"fine-tune":[222],"process":[225],"according":[226],"their":[228],"specific":[229],"needs.":[230],"This":[231],"intended":[234],"collaborative":[237],"platform":[238],"advancing":[240],"AI,":[243],"we":[245],"welcome":[246],"contributions,":[247],"feedback,":[248],"partnerships":[250],"broader":[253],"community.":[254]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}