{"id":"https://openalex.org/W7125903038","doi":"https://doi.org/10.1109/ase63991.2025.00141","title":"Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations","display_name":"Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations","publication_year":2025,"publication_date":"2025-11-16","ids":{"openalex":"https://openalex.org/W7125903038","doi":"https://doi.org/10.1109/ase63991.2025.00141"},"language":null,"primary_location":{"id":"doi:10.1109/ase63991.2025.00141","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase63991.2025.00141","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2512.23769","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014659584","display_name":"Ranit Debnath Akash","orcid":"https://orcid.org/0009-0004-6694-9670"},"institutions":[{"id":"https://openalex.org/I39422238","display_name":"University of Illinois Chicago","ror":"https://ror.org/02mpq6x41","country_code":"US","type":"education","lineage":["https://openalex.org/I39422238"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ranit D. Akash","raw_affiliation_strings":["University of Illinois,Chicago,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois,Chicago,USA","institution_ids":["https://openalex.org/I39422238"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124139350","display_name":"Ashish Kumar","orcid":null},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ashish Kumar","raw_affiliation_strings":["Pennsylvania State University,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Pennsylvania State University,USA","institution_ids":["https://openalex.org/I130769515"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028082238","display_name":"Verya Monjezi","orcid":"https://orcid.org/0000-0001-6796-5948"},"institutions":[{"id":"https://openalex.org/I39422238","display_name":"University of Illinois Chicago","ror":"https://ror.org/02mpq6x41","country_code":"US","type":"education","lineage":["https://openalex.org/I39422238"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Verya Monjezi","raw_affiliation_strings":["University of Illinois,Chicago,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois,Chicago,USA","institution_ids":["https://openalex.org/I39422238"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124086039","display_name":"Ashutosh Trivedi","orcid":null},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ashutosh Trivedi","raw_affiliation_strings":["University of Colorado,Boulder,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Colorado,Boulder,USA","institution_ids":["https://openalex.org/I188538660"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077180777","display_name":"Gang Tan","orcid":null},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gang Tan","raw_affiliation_strings":["Pennsylvania State University,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Pennsylvania State University,USA","institution_ids":["https://openalex.org/I130769515"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076300752","display_name":"Saeid Tizpaz-Niari","orcid":"https://orcid.org/0000-0002-1375-3154"},"institutions":[{"id":"https://openalex.org/I39422238","display_name":"University of Illinois Chicago","ror":"https://ror.org/02mpq6x41","country_code":"US","type":"education","lineage":["https://openalex.org/I39422238"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Saeid Tizpaz-Niari","raw_affiliation_strings":["University of Illinois,Chicago,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois,Chicago,USA","institution_ids":["https://openalex.org/I39422238"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.70387374,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1680","last_page":"1692"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10883","display_name":"Ethics and Social Impacts of AI","score":0.8784000277519226,"subfield":{"id":"https://openalex.org/subfields/3311","display_name":"Safety Research"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10883","display_name":"Ethics and Social Impacts of AI","score":0.8784000277519226,"subfield":{"id":"https://openalex.org/subfields/3311","display_name":"Safety Research"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.09950000047683716,"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/T11704","display_name":"Mobile Crowdsensing and Crowdsourcing","score":0.003000000026077032,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/set","display_name":"Set (abstract data type)","score":0.5982000231742859},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.5910000205039978},{"id":"https://openalex.org/keywords/pairwise-comparison","display_name":"Pairwise comparison","score":0.5867000222206116},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.5800999999046326},{"id":"https://openalex.org/keywords/counterfactual-thinking","display_name":"Counterfactual thinking","score":0.5131000280380249},{"id":"https://openalex.org/keywords/arbitrariness","display_name":"Arbitrariness","score":0.39739999175071716},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.3650999963283539},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.33559998869895935}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6032999753952026},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5982000231742859},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.5910000205039978},{"id":"https://openalex.org/C184898388","wikidata":"https://www.wikidata.org/wiki/Q1435712","display_name":"Pairwise comparison","level":2,"score":0.5867000222206116},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.5800999999046326},{"id":"https://openalex.org/C108650721","wikidata":"https://www.wikidata.org/wiki/Q1783253","display_name":"Counterfactual thinking","level":2,"score":0.5131000280380249},{"id":"https://openalex.org/C2777451423","wikidata":"https://www.wikidata.org/wiki/Q629962","display_name":"Arbitrariness","level":2,"score":0.39739999175071716},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3698999881744385},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.3650999963283539},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35089999437332153},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3368000090122223},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.33559998869895935},{"id":"https://openalex.org/C166151441","wikidata":"https://www.wikidata.org/wiki/Q4923601","display_name":"Causation","level":2,"score":0.31690001487731934},{"id":"https://openalex.org/C2776035688","wikidata":"https://www.wikidata.org/wiki/Q1606558","display_name":"Affect (linguistics)","level":2,"score":0.304500013589859},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.30390000343322754},{"id":"https://openalex.org/C63584917","wikidata":"https://www.wikidata.org/wiki/Q333286","display_name":"Bounding overwatch","level":2,"score":0.2912999987602234},{"id":"https://openalex.org/C2776502983","wikidata":"https://www.wikidata.org/wiki/Q690182","display_name":"Contrast (vision)","level":2,"score":0.2840000092983246},{"id":"https://openalex.org/C2780695315","wikidata":"https://www.wikidata.org/wiki/Q3799040","display_name":"Unobservable","level":2,"score":0.27469998598098755},{"id":"https://openalex.org/C2776889015","wikidata":"https://www.wikidata.org/wiki/Q5282532","display_name":"Disparate impact","level":3,"score":0.263700008392334},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2630000114440918},{"id":"https://openalex.org/C37381756","wikidata":"https://www.wikidata.org/wiki/Q20203288","display_name":"Representativeness heuristic","level":2,"score":0.2538999915122986}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/ase63991.2025.00141","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase63991.2025.00141","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2512.23769","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2512.23769","pdf_url":"https://arxiv.org/pdf/2512.23769","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2512.23769","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2512.23769","pdf_url":"https://arxiv.org/pdf/2512.23769","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.5864481329917908,"display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W2058509173","https://openalex.org/W2100960835","https://openalex.org/W2516809705","https://openalex.org/W2754537581","https://openalex.org/W2762833920","https://openalex.org/W2788403449","https://openalex.org/W2791251367","https://openalex.org/W2802557767","https://openalex.org/W2809701591","https://openalex.org/W2892430965","https://openalex.org/W2898851569","https://openalex.org/W2945295328","https://openalex.org/W2963125461","https://openalex.org/W2963673089","https://openalex.org/W2967682612","https://openalex.org/W3032152562","https://openalex.org/W3046012684","https://openalex.org/W3105178636","https://openalex.org/W3108851260","https://openalex.org/W3132748670","https://openalex.org/W3165292502","https://openalex.org/W3179976352","https://openalex.org/W3205478695","https://openalex.org/W4220659214","https://openalex.org/W4284697101","https://openalex.org/W4284709622","https://openalex.org/W4289874389","https://openalex.org/W4308641598","https://openalex.org/W4308643061","https://openalex.org/W4312890174","https://openalex.org/W4382237559","https://openalex.org/W4384154513","https://openalex.org/W4384304645","https://openalex.org/W4384345651","https://openalex.org/W4384573258","https://openalex.org/W4394769107","https://openalex.org/W4398239189","https://openalex.org/W4402442690","https://openalex.org/W4411271836","https://openalex.org/W4411551627","https://openalex.org/W4411552602"],"related_works":[],"abstract_inverted_index":{"Fairness":[0],"in":[1,7,34,109,131,146],"algorithmic":[2,156],"decision-making":[3],"is":[4],"often":[5],"framed":[6],"terms":[8],"of":[9,30,61,69,82,87,102,117,155,201,215,275],"individual":[10,23,88,180],"fairness,":[11],"which":[12],"requires":[13],"that":[14,42,72,158,168,204,227,234,246,270],"similar":[15,18],"individuals":[16],"receive":[17],"outcomes.":[19,118],"A":[20],"system":[21],"violates":[22],"fairness":[24,89,161,181,238],"if":[25],"there":[26],"exists":[27],"a":[28,85,122,127,165,213,223],"pair":[29],"inputs":[31,216],"differing":[32],"only":[33,130],"protected":[35,110,132,151,263],"attributes":[36],"(such":[37],"as":[38],"race":[39],"or":[40,257],"gender)":[41],"lead":[43,112],"to":[44,65,99,113,178,185,262],"significantly":[45],"different":[46],"outcomes\u2014for":[47],"example,":[48],"one":[49],"favorable":[50],"and":[51,78,175,240,273],"the":[52,80,103,199],"other":[53],"unfavorable.":[54],"While":[55],"this":[56],"notion":[57],"highlights":[58],"isolated":[59],"instances":[60],"unfairness,":[62],"it":[63],"fails":[64],"capture":[66],"broader":[67],"patterns":[68,154],"clustered":[70],"discrimination":[71,83,251],"may":[73],"affect":[74],"entire":[75],"subgroups.We":[76],"introduce":[77,222],"motivate":[79],"concept":[81],"clustering,":[84,252],"generalization":[86],"violations.":[90],"Rather":[91],"than":[92],"detecting":[93],"single":[94],"counterfactual":[95],"disparities,":[96],"we":[97,125,220],"seek":[98],"uncover":[100],"regions":[101],"input":[104],"space":[105],"where":[106],"small":[107],"perturbations":[108],"features":[111],"k-significantly":[114],"distinct":[115,139],"clusters":[116,142],"That":[119],"is,":[120],"for":[121,208],"given":[123],"input,":[124],"identify":[126],"local":[128,241],"neighborhood\u2014differing":[129],"attributes\u2014whose":[133],"members\u2019":[134],"outputs":[135],"separate":[136],"into":[137],"many":[138],"clusters.":[140,188],"These":[141],"reveal":[143],"significant":[144],"arbitrariness":[145],"treatment":[147],"solely":[148],"based":[149],"on":[150],"attributes,":[152],"exposing":[153],"bias":[157],"elude":[159],"pairwise":[160],"checks.We":[162],"present":[163],"HyFair,":[164],"hybrid":[166],"technique":[167],"combines":[169],"formal":[170,193],"symbolic":[171,209],"analysis":[172],"(via":[173],"SMT":[174],"MILP":[176],"solvers)":[177],"certify":[179],"with":[182,260],"randomized":[183],"search":[184],"discover":[186],"discriminatory":[187],"This":[189],"combination":[190],"enables":[191],"both":[192],"guarantees\u2014":[194],"when":[195],"no":[196,258],"counterexamples":[197],"exist\u2014and":[198],"detection":[200],"severe":[202],"violations":[203],"are":[205],"computationally":[206],"challenging":[207],"methods":[210],"alone.":[211],"Given":[212],"set":[214],"exhibiting":[217],"high":[218],"k-discrimination,":[219],"further":[221],"novel":[224],"explanation":[225,242],"method":[226],"generates":[228],"interpretable,":[229],"decision-tree-style":[230],"artifacts.Our":[231],"experiments":[232],"show":[233,255],"HyFair":[235],"outperforms":[236],"state-of-the-art":[237],"verification":[239],"methods.":[243],"It":[244,265],"reveals":[245],"some":[247],"benchmarks":[248],"exhibit":[249],"substantial":[250],"while":[253],"others":[254],"limited":[256],"disparities":[259],"respect":[261],"attributes.":[264],"also":[266],"provides":[267],"intuitive":[268],"explanations":[269],"support":[271],"understanding":[272],"mitigation":[274],"unfairness.":[276]},"counts_by_year":[],"updated_date":"2026-07-03T08:13:44.112507","created_date":"2026-01-29T00:00:00"}