{"id":"https://openalex.org/W7117933562","doi":"https://doi.org/10.1145/3787470.3787484","title":"DT-sampler: A SAT-based Decision Tree Ensemble","display_name":"DT-sampler: A SAT-based Decision Tree Ensemble","publication_year":2025,"publication_date":"2025-12-30","ids":{"openalex":"https://openalex.org/W7117933562","doi":"https://doi.org/10.1145/3787470.3787484"},"language":"en","primary_location":{"id":"doi:10.1145/3787470.3787484","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3787470.3787484","pdf_url":null,"source":{"id":"https://openalex.org/S4210176598","display_name":"ACM SIGKDD Explorations Newsletter","issn_l":"1931-0145","issn":["1931-0145","1931-0153"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGKDD Explorations Newsletter","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5121716381","display_name":"Xiaotian Xue","orcid":null},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Xiaotian Xue","raw_affiliation_strings":["The University of Tokyo, Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"The University of Tokyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5121726139","display_name":"Chao Huang","orcid":null},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Chao Huang","raw_affiliation_strings":["The University of Tokyo, Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"The University of Tokyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5121720980","display_name":"Koji Tsuda","orcid":null},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Koji Tsuda","raw_affiliation_strings":["The University of Tokyo, Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"The University of Tokyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5121731999","display_name":"Diptesh Das","orcid":null},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Diptesh Das","raw_affiliation_strings":["The University of Tokyo, Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"The University of Tokyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5121716381"],"corresponding_institution_ids":["https://openalex.org/I74801974"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.85728944,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"27","issue":"2","first_page":"132","last_page":"141"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.970300018787384,"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.970300018787384,"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.006800000090152025,"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/T11652","display_name":"Imbalanced Data Classification Techniques","score":0.004800000227987766,"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/decision-tree","display_name":"Decision tree","score":0.7523999810218811},{"id":"https://openalex.org/keywords/incremental-decision-tree","display_name":"Incremental decision tree","score":0.6780999898910522},{"id":"https://openalex.org/keywords/tree-traversal","display_name":"Tree traversal","score":0.5839999914169312},{"id":"https://openalex.org/keywords/alternating-decision-tree","display_name":"Alternating decision tree","score":0.5238999724388123},{"id":"https://openalex.org/keywords/decision-stump","display_name":"Decision stump","score":0.5236999988555908},{"id":"https://openalex.org/keywords/ensemble-learning","display_name":"Ensemble learning","score":0.5133000016212463},{"id":"https://openalex.org/keywords/decision-tree-learning","display_name":"Decision tree learning","score":0.4821999967098236},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.4519999921321869},{"id":"https://openalex.org/keywords/optimal-decision","display_name":"Optimal decision","score":0.4101000130176544}],"concepts":[{"id":"https://openalex.org/C84525736","wikidata":"https://www.wikidata.org/wiki/Q831366","display_name":"Decision tree","level":2,"score":0.7523999810218811},{"id":"https://openalex.org/C10229987","wikidata":"https://www.wikidata.org/wiki/Q17083028","display_name":"Incremental decision tree","level":4,"score":0.6780999898910522},{"id":"https://openalex.org/C140745168","wikidata":"https://www.wikidata.org/wiki/Q1210082","display_name":"Tree traversal","level":2,"score":0.5839999914169312},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5532000064849854},{"id":"https://openalex.org/C120136583","wikidata":"https://www.wikidata.org/wiki/Q4736414","display_name":"Alternating decision tree","level":5,"score":0.5238999724388123},{"id":"https://openalex.org/C141291300","wikidata":"https://www.wikidata.org/wiki/Q5249244","display_name":"Decision stump","level":5,"score":0.5236999988555908},{"id":"https://openalex.org/C45942800","wikidata":"https://www.wikidata.org/wiki/Q245652","display_name":"Ensemble learning","level":2,"score":0.5133000016212463},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4887999892234802},{"id":"https://openalex.org/C5481197","wikidata":"https://www.wikidata.org/wiki/Q16766476","display_name":"Decision tree learning","level":3,"score":0.4821999967098236},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.4519999921321869},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.43290001153945923},{"id":"https://openalex.org/C150325174","wikidata":"https://www.wikidata.org/wiki/Q4335500","display_name":"Optimal decision","level":3,"score":0.4101000130176544},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.39980000257492065},{"id":"https://openalex.org/C125112378","wikidata":"https://www.wikidata.org/wiki/Q176640","display_name":"Randomness","level":2,"score":0.39239999651908875},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.37529999017715454},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.37459999322891235},{"id":"https://openalex.org/C183931066","wikidata":"https://www.wikidata.org/wiki/Q1653378","display_name":"ID3 algorithm","level":5,"score":0.3718999922275543},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35249999165534973},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.35030001401901245},{"id":"https://openalex.org/C169258074","wikidata":"https://www.wikidata.org/wiki/Q245748","display_name":"Random forest","level":2,"score":0.3368000090122223},{"id":"https://openalex.org/C84839998","wikidata":"https://www.wikidata.org/wiki/Q5249245","display_name":"Decision rule","level":2,"score":0.3276999890804291},{"id":"https://openalex.org/C56289965","wikidata":"https://www.wikidata.org/wiki/Q5249246","display_name":"Decision tree model","level":3,"score":0.31360000371932983},{"id":"https://openalex.org/C20837028","wikidata":"https://www.wikidata.org/wiki/Q623966","display_name":"Influence diagram","level":3,"score":0.30649998784065247},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.28600001335144043},{"id":"https://openalex.org/C61722155","wikidata":"https://www.wikidata.org/wiki/Q6667643","display_name":"Logistic model tree","level":3,"score":0.275299996137619},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.27489998936653137},{"id":"https://openalex.org/C163797641","wikidata":"https://www.wikidata.org/wiki/Q2067937","display_name":"Tree structure","level":3,"score":0.2705000042915344},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26570001244544983},{"id":"https://openalex.org/C28901747","wikidata":"https://www.wikidata.org/wiki/Q177571","display_name":"Decision theory","level":2,"score":0.25769999623298645}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3787470.3787484","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3787470.3787484","pdf_url":null,"source":{"id":"https://openalex.org/S4210176598","display_name":"ACM SIGKDD Explorations Newsletter","issn_l":"1931-0145","issn":["1931-0145","1931-0153"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGKDD Explorations Newsletter","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.47813811898231506}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1894704206","https://openalex.org/W2114563530","https://openalex.org/W2120045164","https://openalex.org/W2128659236","https://openalex.org/W2135046866","https://openalex.org/W2143059037","https://openalex.org/W2149706766","https://openalex.org/W2151832869","https://openalex.org/W2367397349","https://openalex.org/W2493343568","https://openalex.org/W2744365997","https://openalex.org/W2794800068","https://openalex.org/W2888487581","https://openalex.org/W2911964244","https://openalex.org/W2918556752","https://openalex.org/W2972979941","https://openalex.org/W2997476292","https://openalex.org/W3016087461","https://openalex.org/W3023119642","https://openalex.org/W3043665946","https://openalex.org/W3096182600","https://openalex.org/W4225685382","https://openalex.org/W4385318219","https://openalex.org/W4391607289"],"related_works":[],"abstract_inverted_index":{"Interpretable":[0],"(or":[1],"explainable)":[2],"machine":[3],"learning":[4],"models,":[5],"such":[6],"as":[7],"decision":[8,23,47,56,96,131,140],"trees,":[9],"play":[10],"a":[11,34,45,94,115,127,157,163],"crucial":[12],"role":[13],"in":[14,65,83,126],"the":[15,61,84,105,110,188],"context":[16],"of":[17,42,55,109,130,190],"trustworthy":[18],"AI.":[19],"However,":[20],"finding":[21],"optimal":[22],"trees":[24,57],"(i.e.,":[25],"minimum":[26],"size":[27,106],"and":[28,37,76,78,107,176,196],"maximum":[29],"accuracy":[30,108],"trees)":[31],"is":[32,172],"not":[33,144],"simple":[35],"task":[36],"remains":[38],"an":[39,53],"active":[40],"area":[41],"research.":[43],"While":[44],"single":[46],"tree":[48,71,85,97,132,141],"has":[49],"limited":[50],"expressivity,":[51],"using":[52,139],"ensemble":[54,72,98],"can":[58],"effectively":[59],"capture":[60],"complex":[62],"structures":[63],"found":[64],"many":[66],"real-world":[67,197],"applications.":[68],"Many":[69],"existing":[70],"methods":[73],"are":[74],"greedy":[75],"suboptimal,":[77],"often":[79],"suffer":[80],"from":[81],"randomness":[82],"generation":[86],"process.":[87],"In":[88],"this":[89],"paper,":[90],"we":[91],"introduce":[92],"DT-sampler,":[93],"SAT-based":[95,117],"which":[99,161],"allows":[100],"explicit":[101],"control":[102],"over":[103,149],"both":[104],"sampled":[111],"trees.":[112],"We":[113,152,186],"developed":[114],"novel":[116],"encoding":[118],"method":[119,192],"that":[120,170],"utilizes":[121],"only":[122],"branch":[123],"nodes,":[124],"resulting":[125],"compact":[128],"representation":[129],"space.":[133],"Additionally,":[134],"standard":[135],"point":[136],"predictions":[137],"made":[138],"ensembles":[142],"do":[143],"offer":[145],"any":[146],"statistical":[147,159],"guarantee":[148],"miscoverage":[150],"rate.":[151],"employ":[153],"conformal":[154],"prediction":[155],"(CP),":[156],"distribution-free":[158],"framework":[160],"provides":[162],"valid":[164],"finite-sample":[165],"coverage":[166],"guarantee,":[167],"to":[168],"demonstrate":[169,187],"DT-sampler":[171],"statistically":[173],"more":[174],"efficient":[175],"produces":[177],"stable":[178],"results":[179],"when":[180],"compared":[181],"with":[182],"random":[183],"forest":[184],"classifier.":[185],"effectiveness":[189],"our":[191],"through":[193],"several":[194],"benchmark":[195],"datasets.":[198]},"counts_by_year":[],"updated_date":"2026-01-01T23:44:55.787143","created_date":"2026-01-01T00:00:00"}