{"id":"https://openalex.org/W4402397315","doi":"https://doi.org/10.1007/978-3-031-71162-6_18","title":"Certified Quantization Strategy Synthesis for\u00a0Neural Networks","display_name":"Certified Quantization Strategy Synthesis for\u00a0Neural Networks","publication_year":2024,"publication_date":"2024-09-10","ids":{"openalex":"https://openalex.org/W4402397315","doi":"https://doi.org/10.1007/978-3-031-71162-6_18"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-71162-6_18","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-71162-6_18","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-71162-6_18.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-71162-6_18.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5046247329","display_name":"Yedi Zhang","orcid":"https://orcid.org/0000-0003-1005-2114"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":true,"raw_author_name":"Yedi Zhang","raw_affiliation_strings":["National University of Singapore, Singapore, 117417, Singapore"],"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, 117417, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010348592","display_name":"Guangke Chen","orcid":"https://orcid.org/0000-0001-8277-3119"},"institutions":[{"id":"https://openalex.org/I30809798","display_name":"ShanghaiTech University","ror":"https://ror.org/030bhh786","country_code":"CN","type":"education","lineage":["https://openalex.org/I30809798"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guangke Chen","raw_affiliation_strings":["ShanghaiTech University, Shanghai, 201210, China"],"affiliations":[{"raw_affiliation_string":"ShanghaiTech University, Shanghai, 201210, China","institution_ids":["https://openalex.org/I30809798"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027425633","display_name":"Fu Song","orcid":"https://orcid.org/0000-0002-0581-2679"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I2799736854","display_name":"Nanjing Institute of Technology","ror":"https://ror.org/00n6txq60","country_code":"CN","type":"education","lineage":["https://openalex.org/I2799736854"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fu Song","raw_affiliation_strings":["Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, 100190, China","Nanjing Institute of Software Technology, Nanjing, 211135, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, 100190, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"Nanjing Institute of Software Technology, Nanjing, 211135, China","institution_ids":["https://openalex.org/I2799736854","https://openalex.org/I4210128818"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100429004","display_name":"Jun Sun","orcid":"https://orcid.org/0000-0002-3545-1392"},"institutions":[{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Jun Sun","raw_affiliation_strings":["Singapore Management University, Singapore, 178902, Singapore"],"affiliations":[{"raw_affiliation_string":"Singapore Management University, Singapore, 178902, Singapore","institution_ids":["https://openalex.org/I79891267"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085067496","display_name":"Jin Song Dong","orcid":"https://orcid.org/0000-0002-6512-8326"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Jin Song Dong","raw_affiliation_strings":["National University of Singapore, Singapore, 117417, Singapore"],"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, 117417, Singapore","institution_ids":["https://openalex.org/I165932596"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5046247329"],"corresponding_institution_ids":["https://openalex.org/I165932596"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":2.2673,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.89179075,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"343","last_page":"362"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9997000098228455,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9997000098228455,"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/T12153","display_name":"Advanced Optical Sensing Technologies","score":0.9902999997138977,"subfield":{"id":"https://openalex.org/subfields/3105","display_name":"Instrumentation"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9779000282287598,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.827930748462677},{"id":"https://openalex.org/keywords/quantization","display_name":"Quantization (signal processing)","score":0.6836891174316406},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.6413908004760742},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.5745108723640442},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.398519366979599},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.22359469532966614},{"id":"https://openalex.org/keywords/management","display_name":"Management","score":0.04848355054855347}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.827930748462677},{"id":"https://openalex.org/C28855332","wikidata":"https://www.wikidata.org/wiki/Q198099","display_name":"Quantization (signal processing)","level":2,"score":0.6836891174316406},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.6413908004760742},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5745108723640442},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.398519366979599},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.22359469532966614},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.04848355054855347},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-031-71162-6_18","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-71162-6_18","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-71162-6_18.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:ink.library.smu.edu.sg:sis_research-10325","is_oa":true,"landing_page_url":"https://ink.library.smu.edu.sg/sis_research/9325","pdf_url":null,"source":{"id":"https://openalex.org/S4306401925","display_name":"Singapore Management University Institutional Knowledge (InK) (Singapore Management University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79891267","host_organization_name":"Singapore Management University","host_organization_lineage":["https://openalex.org/I79891267"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://doi.org/10.1007/978-3-031-71162-6_18","raw_type":"Conference Proceeding Article"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-71162-6_18","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-71162-6_18","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-71162-6_18.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3882347383","display_name":null,"funder_award_id":"Tier 3","funder_id":"https://openalex.org/F4320320751","funder_display_name":"Ministry of Education - Singapore"},{"id":"https://openalex.org/G450653452","display_name":null,"funder_award_id":"62072309","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4677120484","display_name":null,"funder_award_id":"YSBR-040","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5027370758","display_name":null,"funder_award_id":"MOET32020-0004","funder_id":"https://openalex.org/F4320320751","funder_display_name":"Ministry of Education - Singapore"}],"funders":[{"id":"https://openalex.org/F4320320751","display_name":"Ministry of Education - Singapore","ror":"https://ror.org/01kcva023"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320322724","display_name":"Ministry of Education, India","ror":"https://ror.org/048xjjh50"},{"id":"https://openalex.org/F4320323346","display_name":"B\u1ed9 Gi\u00e1o d\u1ee5c v\u00e0 \u00d0\u00e0o t\u1ea1o","ror":"https://ror.org/00drv3378"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4402397315.pdf","grobid_xml":"https://content.openalex.org/works/W4402397315.grobid-xml"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W2594877703","https://openalex.org/W2787596386","https://openalex.org/W2794609696","https://openalex.org/W2798742790","https://openalex.org/W2884150179","https://openalex.org/W2900153411","https://openalex.org/W2903571520","https://openalex.org/W2911867448","https://openalex.org/W2946149952","https://openalex.org/W2963122961","https://openalex.org/W2963681088","https://openalex.org/W2999193264","https://openalex.org/W3004633656","https://openalex.org/W3104896058","https://openalex.org/W3125577182","https://openalex.org/W3136021864","https://openalex.org/W3137147200","https://openalex.org/W3140205966","https://openalex.org/W3147451797","https://openalex.org/W3176862352","https://openalex.org/W3183549096","https://openalex.org/W3195964985","https://openalex.org/W3197827783","https://openalex.org/W3212827451","https://openalex.org/W4200182016","https://openalex.org/W4211137390","https://openalex.org/W4280555383","https://openalex.org/W4293399511","https://openalex.org/W4296270209","https://openalex.org/W4313563880","https://openalex.org/W4367663504","https://openalex.org/W4378904019","https://openalex.org/W4382318418","https://openalex.org/W4384521896","https://openalex.org/W4386607611","https://openalex.org/W4386880702","https://openalex.org/W4388096002","https://openalex.org/W4388878394","https://openalex.org/W4393161192","https://openalex.org/W4402397315","https://openalex.org/W6600020652","https://openalex.org/W6600062020","https://openalex.org/W6600679772","https://openalex.org/W6600883950","https://openalex.org/W6738979783"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2066052364","https://openalex.org/W2023743128","https://openalex.org/W4243365217","https://openalex.org/W2224296908","https://openalex.org/W3109981693","https://openalex.org/W2381980429","https://openalex.org/W2384206113","https://openalex.org/W645983410"],"abstract_inverted_index":{"Abstract":[0],"Quantization":[1],"plays":[2],"an":[3,136],"important":[4],"role":[5],"in":[6,91],"deploying":[7],"neural":[8],"networks":[9],"on":[10,104],"embedded,":[11],"real-time":[12],"systems":[13],"with":[14],"limited":[15],"computing":[16,130],"and":[17,30,58,150,154,165],"storage":[18,28],"resources":[19],"(e.g.,":[20],"edge":[21],"devices).":[22],"It":[23],"significantly":[24],"reduces":[25],"the":[26,40,65,98,106,113,118,123,127,131],"model":[27,163],"cost":[29],"improves":[31],"inference":[32],"efficiency":[33,155],"by":[34,156],"using":[35],"fewer":[36],"bits":[37],"to":[38,86,96,139],"represent":[39],"parameters.":[41],"However,":[42],"it":[43],"was":[44],"recently":[45],"shown":[46],"that":[47,72,83,112,160],"critical":[48],"properties":[49,76],"may":[50],"be":[51],"broken":[52],"after":[53,77],"quantization,":[54,78],"such":[55],"as":[56],"robustness":[57,164],"backdoor-freeness.":[59,166],"In":[60],"this":[61],"work,":[62],"we":[63,134],"introduce":[64],"first":[66],"method":[67,138,146],"for":[68,100],"synthesizing":[69],"quantization":[70,84,159],"strategies":[71],"verifiably":[73],"maintain":[74],"desired":[75],"leveraging":[79],"a":[80,87,148],"key":[81],"insight":[82],"leads":[85],"data":[88],"distribution":[89],"shift":[90],"each":[92,101],"layer.":[93],"We":[94,143],"propose":[95,135],"compute":[97,140],"preimage":[99],"layer":[102,108,120],"based":[103],"which":[105],"preceding":[107,119],"is":[109],"quantized,":[110],"ensuring":[111],"quantized":[114],"reachable":[115],"region":[116],"of":[117,129],"remains":[121],"within":[122],"preimage.":[124],"To":[125],"tackle":[126],"challenge":[128],"exact":[132],"preimage,":[133],"MILP-based":[137],"its":[141,152],"under-approximation.":[142],"implement":[144],"our":[145],"into":[147],"tool":[149],"demonstrate":[151],"effectiveness":[153],"providing":[157],"certified":[158],"successfully":[161],"preserves":[162]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}