{"id":"https://openalex.org/W4401568210","doi":"https://doi.org/10.23919/date58400.2024.10546766","title":"CBTune: Contextual Bandit Tuning for Logic Synthesis","display_name":"CBTune: Contextual Bandit Tuning for Logic Synthesis","publication_year":2024,"publication_date":"2024-03-25","ids":{"openalex":"https://openalex.org/W4401568210","doi":"https://doi.org/10.23919/date58400.2024.10546766"},"language":"en","primary_location":{"id":"doi:10.23919/date58400.2024.10546766","is_oa":false,"landing_page_url":"http://dx.doi.org/10.23919/date58400.2024.10546766","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5100683475","display_name":"Fangzhou Liu","orcid":"https://orcid.org/0000-0002-0715-7313"},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"HK","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Fangzhou Liu","raw_affiliation_strings":["The Chinese University of Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Chinese University of Hong Kong","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071208161","display_name":"Zehua Pei","orcid":"https://orcid.org/0000-0002-2884-2459"},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"HK","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Zehua Pei","raw_affiliation_strings":["The Chinese University of Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Chinese University of Hong Kong","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066842835","display_name":"Ziyang Yu","orcid":"https://orcid.org/0000-0002-6656-3741"},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"HK","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Ziyang Yu","raw_affiliation_strings":["The Chinese University of Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Chinese University of Hong Kong","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014042630","display_name":"Haisheng Zheng","orcid":"https://orcid.org/0000-0001-8555-4544"},"institutions":[{"id":"https://openalex.org/I4210100255","display_name":"Beijing Academy of Artificial Intelligence","ror":"https://ror.org/016a74861","country_code":"CN","type":"other","lineage":["https://openalex.org/I4210100255"]},{"id":"https://openalex.org/I4391012619","display_name":"Shanghai Artificial Intelligence Laboratory","ror":"https://ror.org/03wkvpx79","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4391012619"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haisheng Zheng","raw_affiliation_strings":["Shanghai Artificial Intelligence Laboratory"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Shanghai Artificial Intelligence Laboratory","institution_ids":["https://openalex.org/I4210100255","https://openalex.org/I4391012619"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039671544","display_name":"Zhuolun He","orcid":"https://orcid.org/0009-0009-4909-6588"},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"HK","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Zhuolun He","raw_affiliation_strings":["The Chinese University of Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Chinese University of Hong Kong","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022945347","display_name":"Tinghuan Chen","orcid":"https://orcid.org/0000-0002-9195-6619"},"institutions":[{"id":"https://openalex.org/I4210116924","display_name":"Chinese University of Hong Kong, Shenzhen","ror":"https://ror.org/02d5ks197","country_code":"CN","type":"education","lineage":["https://openalex.org/I177725633","https://openalex.org/I180726961","https://openalex.org/I4210116924"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tinghuan Chen","raw_affiliation_strings":["The Chinese University of Hong Kong,Shenzhen"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Chinese University of Hong Kong,Shenzhen","institution_ids":["https://openalex.org/I4210116924"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051340429","display_name":"Bei Yu","orcid":"https://orcid.org/0000-0001-6406-4810"},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"HK","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Bei Yu","raw_affiliation_strings":["The Chinese University of Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Chinese University of Hong Kong","institution_ids":["https://openalex.org/I177725633"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.1362,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.8930095,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.9556999802589417,"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/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.9556999802589417,"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/T11122","display_name":"Online Learning and Analytics","score":0.9366999864578247,"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/computer-science","display_name":"Computer science","score":0.6091811060905457},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3247542381286621}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6091811060905457},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3247542381286621}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/date58400.2024.10546766","is_oa":false,"landing_page_url":"http://dx.doi.org/10.23919/date58400.2024.10546766","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1528837436","https://openalex.org/W2005602803","https://openalex.org/W2084300636","https://openalex.org/W2111945398","https://openalex.org/W2112420033","https://openalex.org/W2952735266","https://openalex.org/W2962949351","https://openalex.org/W3109579920","https://openalex.org/W3109775750","https://openalex.org/W4239323126","https://openalex.org/W4286898282","https://openalex.org/W4312231865","https://openalex.org/W4312939266","https://openalex.org/W4318685218","https://openalex.org/W6678873164","https://openalex.org/W6690302409","https://openalex.org/W6770320521","https://openalex.org/W6802405391"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Logic":[0],"synthesis":[1,10,62,101],"pre-optimization":[2],"involves":[3],"applying":[4],"a":[5,44,51,104],"sequence":[6],"of":[7,112],"transformations":[8,30],"called":[9],"flow":[11,102],"to":[12,32,55,81,118],"reduce":[13],"the":[14,22,33,57,67,71,99,110],"circuit's":[15],"Boolean":[16],"logic":[17],"graph,":[18],"like":[19],"AIG.":[20],"However,":[21],"challenge":[23],"lies":[24],"in":[25,89],"selecting":[26],"and":[27,60,77,115],"arranging":[28],"these":[29],"due":[31],"exponentially":[34],"expanding":[35],"solution":[36,58],"space.":[37],"In":[38],"this":[39],"work,":[40],"we":[41],"propose":[42],"CBTune,":[43],"novel":[45],"online":[46],"learning":[47],"framework":[48,97],"that":[49,95],"utilizes":[50],"contextual":[52],"bandit":[53],"algorithm":[54,69],"explore":[56],"space":[59],"generate":[61],"flows":[63],"efficiently.":[64],"We":[65],"develop":[66],"Syn-LinUCB":[68],"as":[70],"agent,":[72],"which":[73],"incorporates":[74],"circuit":[75],"characteristics":[76],"leverages":[78],"long-term":[79],"payoffs":[80],"guide":[82],"decision-making,":[83],"thus":[84],"ef-fectively":[85],"preventing":[86],"getting":[87],"trapped":[88],"local":[90],"optima.":[91],"Experimental":[92],"results":[93],"show":[94],"our":[96],"achieves":[98],"optimal":[100],"with":[103],"lower":[105],"time":[106],"cost,":[107],"substantially":[108],"reducing":[109],"number":[111],"AIG":[113],"nodes":[114],"6-LUTs":[116],"compared":[117],"SOTA":[119],"approaches.":[120]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}