{"id":"https://openalex.org/W4408565186","doi":"https://doi.org/10.1109/icdmw65004.2024.00013","title":"Efficient and High-Quality Formal Verification for Decision Tree Ensembles","display_name":"Efficient and High-Quality Formal Verification for Decision Tree Ensembles","publication_year":2024,"publication_date":"2024-12-09","ids":{"openalex":"https://openalex.org/W4408565186","doi":"https://doi.org/10.1109/icdmw65004.2024.00013"},"language":"en","primary_location":{"id":"doi:10.1109/icdmw65004.2024.00013","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icdmw65004.2024.00013","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE International Conference on Data Mining Workshops (ICDMW)","raw_type":"proceedings-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/A5038470045","display_name":"Saori Matsunaga","orcid":null},"institutions":[{"id":"https://openalex.org/I4210133125","display_name":"Mitsubishi Electric (Japan)","ror":"https://ror.org/033y26782","country_code":"JP","type":"company","lineage":["https://openalex.org/I1306287861","https://openalex.org/I4210133125"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Saori Matsunaga","raw_affiliation_strings":["Information Technology R&D Center Mitsubishi Electric Corporation,Kanagawa,Japan"],"affiliations":[{"raw_affiliation_string":"Information Technology R&D Center Mitsubishi Electric Corporation,Kanagawa,Japan","institution_ids":["https://openalex.org/I4210133125"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030690230","display_name":"Genta Yoshimura","orcid":null},"institutions":[{"id":"https://openalex.org/I4210133125","display_name":"Mitsubishi Electric (Japan)","ror":"https://ror.org/033y26782","country_code":"JP","type":"company","lineage":["https://openalex.org/I1306287861","https://openalex.org/I4210133125"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Genta Yoshimura","raw_affiliation_strings":["Information Technology R&D Center Mitsubishi Electric Corporation,Kanagawa,Japan"],"affiliations":[{"raw_affiliation_string":"Information Technology R&D Center Mitsubishi Electric Corporation,Kanagawa,Japan","institution_ids":["https://openalex.org/I4210133125"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5038470045"],"corresponding_institution_ids":["https://openalex.org/I4210133125"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.25598182,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"51","last_page":"58"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.7868000268936157,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.7868000268936157,"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/T12535","display_name":"Machine Learning and Data Classification","score":0.7305999994277954,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.7204999923706055,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/computer-science","display_name":"Computer science","score":0.7486969232559204},{"id":"https://openalex.org/keywords/decision-tree","display_name":"Decision tree","score":0.6443533897399902},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.48839300870895386},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4520256519317627},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.43625330924987793},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3517893850803375},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2443729043006897},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12313786149024963}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7486969232559204},{"id":"https://openalex.org/C84525736","wikidata":"https://www.wikidata.org/wiki/Q831366","display_name":"Decision tree","level":2,"score":0.6443533897399902},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.48839300870895386},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4520256519317627},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.43625330924987793},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3517893850803375},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2443729043006897},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12313786149024963},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icdmw65004.2024.00013","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icdmw65004.2024.00013","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE International Conference on Data Mining Workshops (ICDMW)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6399999856948853}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W2145339207","https://openalex.org/W2295598076","https://openalex.org/W2565186948","https://openalex.org/W2594877703","https://openalex.org/W2942347321","https://openalex.org/W2971223760","https://openalex.org/W4400762160","https://openalex.org/W6750729320","https://openalex.org/W6791155269","https://openalex.org/W6792643959"],"related_works":["https://openalex.org/W3188962172","https://openalex.org/W2772917594","https://openalex.org/W4312825515","https://openalex.org/W4306742369","https://openalex.org/W4303457083","https://openalex.org/W2131146434","https://openalex.org/W2951359407","https://openalex.org/W4241519009","https://openalex.org/W4376623224","https://openalex.org/W4387849428"],"abstract_inverted_index":{"Given":[0],"that":[1,108,147,166],"the":[2,33,59,65,78,83,88,93,109,113,140,148,167,176],"inference":[3],"of":[4,35,96,142],"machine":[5,36],"learning":[6,37],"models":[7],"is":[8],"inductive":[9],"and":[10,63,86],"typically":[11],"operates":[12],"as":[13],"a":[14,42,56,124,136],"complex":[15],"black":[16],"box,":[17],"applying":[18],"conventional":[19],"software":[20],"testing":[21,27],"methods":[22,28],"proves":[23],"challenging.":[24],"However,":[25],"formal":[26,43],"are":[29],"essential":[30],"for":[31,48,92],"ensuring":[32],"quality":[34,141],"software.":[38],"This":[39],"study":[40],"proposes":[41],"verification":[44,61,66,73,84,114,127],"framework":[45],"specially":[46],"designed":[47],"decision-tree-based":[49],"ensemble":[50],"models,":[51],"which":[52],"rigorously":[53],"verifies":[54],"whether":[55],"model":[57],"satisfies":[58],"expected":[60],"properties":[62,85],"summarizes":[64,87],"results.":[67],"The":[68],"proposed":[69,110,149,168],"method":[70,111,150,169],"exhaustively":[71],"enumerates":[72],"violations":[74],"by":[75,129,134],"efficiently":[76,116],"searching":[77],"input":[79],"space":[80],"corresponding":[81],"to":[82,138,164],"violation":[89,143,152],"regions,":[90,144],"allowing":[91],"appropriate":[94],"addressing":[95],"discovered":[97],"violations.":[98],"Experimental":[99],"results":[100],"on":[101],"four":[102],"datasets":[103],"across":[104],"three":[105],"tasks":[106],"confirm":[107],"completes":[112],"more":[115,154],"than":[117,156],"existing":[118,157],"methods,":[119],"with":[120],"one":[121],"case":[122],"demonstrating":[123],"reduction":[125],"in":[126,175],"time":[128],"approximately":[130],"1000":[131],"times.":[132],"Additionally,":[133],"introducing":[135],"metric":[137],"quantify":[139],"we":[145,160],"verified":[146],"presents":[151],"regions":[153],"accurately":[155],"approaches.":[158],"Furthermore,":[159],"conducted":[161],"an":[162],"experiment":[163],"illustrate":[165],"can":[170],"identify":[171],"unexpected":[172],"hazardous":[173],"behaviors":[174],"model.":[177]},"counts_by_year":[],"updated_date":"2025-12-28T23:10:05.387466","created_date":"2025-10-10T00:00:00"}