{"id":"https://openalex.org/W7214739233","doi":"https://doi.org/10.48550/arxiv.2609.35167","title":"EdgeCraft: Automated Model Crafting for Edge IoT","display_name":"EdgeCraft: Automated Model Crafting for Edge IoT","publication_year":2026,"publication_date":"2026-09-28","ids":{"openalex":"https://openalex.org/W7214739233","doi":"https://doi.org/10.48550/arxiv.2609.35167"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.35167","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.35167","pdf_url":"https://arxiv.org/pdf/2609.35167","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.35167","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027086602","display_name":"Genglin Wang","orcid":null,"observed_orcids":[]},"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":"Wang, Genglin","raw_affiliation_strings":["Department of Information Engineering , The Chinese University of Hong Kong , Hong Kong SAR , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Engineering , The Chinese University of Hong Kong , Hong Kong SAR , China","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5123468773","display_name":"Kaiwei Liu","orcid":null,"observed_orcids":[]},"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":"Liu, Kaiwei","raw_affiliation_strings":["Department of Information Engineering , The Chinese University of Hong Kong , Hong Kong SAR , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Engineering , The Chinese University of Hong Kong , Hong Kong SAR , China","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055161955","display_name":"Liekang Zeng","orcid":"https://orcid.org/0000-0003-4800-8768","observed_orcids":["https://orcid.org/0000-0003-4800-8768"]},"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":"Zeng, Liekang","raw_affiliation_strings":["Department of Information Engineering , The Chinese University of Hong Kong , Hong Kong SAR , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Engineering , The Chinese University of Hong Kong , Hong Kong SAR , China","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101293258","display_name":"Wangsong Yin","orcid":"https://orcid.org/0009-0000-6242-4368","observed_orcids":["https://orcid.org/0009-0000-6242-4368"]},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yin, Wangsong","raw_affiliation_strings":["School of Computer Science , Peking University , Beijing , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science , Peking University , Beijing , China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5132001780","display_name":"\u8aa0 \u6d25\u4e0a","orcid":"https://orcid.org/0009-0008-6567-3392","observed_orcids":["https://orcid.org/0009-0008-6567-3392"]},"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":"Jin, Shangcheng","raw_affiliation_strings":["Department of Information Engineering , The Chinese University of Hong Kong , Hong Kong SAR , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Engineering , The Chinese University of Hong Kong , Hong Kong SAR , China","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072780737","display_name":"Guoliang Xing","orcid":"https://orcid.org/0000-0003-1772-7751","observed_orcids":["https://orcid.org/0000-0003-1772-7751"]},"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":"Xing, Guoliang","raw_affiliation_strings":["Department of Information Engineering , The Chinese University of Hong Kong , Hong Kong SAR , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Engineering , The Chinese University of Hong Kong , Hong Kong SAR , China","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5153417564","display_name":"Zhenyu Yan","orcid":null,"observed_orcids":[]},"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":"Yan, Zhenyu","raw_affiliation_strings":["Department of Information Engineering , The Chinese University of Hong Kong , Hong Kong SAR , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Engineering , The Chinese University of Hong Kong , Hong Kong SAR , China","institution_ids":["https://openalex.org/I177725633"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10273","display_name":"IoT and Edge/Fog Computing","score":0.9940999746322632,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10273","display_name":"IoT and Edge/Fog Computing","score":0.9940999746322632,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T13038","display_name":"Internet of Things and AI","score":0.002099999925121665,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10036","display_name":"Advanced Neural Network Applications","score":0.0010000000474974513,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/edge-learning","display_name":"edge machine learning","score":0.8769999742507935},{"id":"https://openalex.org/keywords/internet-of-things","display_name":"Internet of Things","score":0.8740000128746033},{"id":"https://openalex.org/keywords/large-language-models","display_name":"large language models","score":0.7710000276565552},{"id":"https://openalex.org/keywords/service-level-objectives","display_name":"service level objectives","score":0.7839999794960022},{"id":"https://openalex.org/keywords/iot-sensing","display_name":"Internet of Things sensing","score":0.7020000219345093}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8108000159263611},{"id":"https://openalex.org/C162307627","wikidata":"https://www.wikidata.org/wiki/Q204833","display_name":"Enhanced Data Rates for GSM Evolution","level":2,"score":0.6410999894142151},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.6244000196456909},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.5972999930381775},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.5788000226020813},{"id":"https://openalex.org/C49895821","wikidata":"https://www.wikidata.org/wiki/Q5227368","display_name":"Data verification","level":2,"score":0.5324000120162964},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5257999897003174},{"id":"https://openalex.org/C2778456923","wikidata":"https://www.wikidata.org/wiki/Q5337692","display_name":"Edge computing","level":3,"score":0.4758000075817108},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4514999985694885},{"id":"https://openalex.org/C27158222","wikidata":"https://www.wikidata.org/wiki/Q5532422","display_name":"Generalizability theory","level":2,"score":0.4327000081539154},{"id":"https://openalex.org/C2776831232","wikidata":"https://www.wikidata.org/wiki/Q966812","display_name":"Trusted Computing","level":2,"score":0.3935000002384186},{"id":"https://openalex.org/C138236772","wikidata":"https://www.wikidata.org/wiki/Q25098575","display_name":"Edge device","level":3,"score":0.39070001244544983},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.388700008392334},{"id":"https://openalex.org/C81860439","wikidata":"https://www.wikidata.org/wiki/Q251212","display_name":"Internet of Things","level":2,"score":0.3578000068664551},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.33559998869895935},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.3260999917984009},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.32170000672340393},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.2989000082015991},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.29820001125335693},{"id":"https://openalex.org/C153701036","wikidata":"https://www.wikidata.org/wiki/Q659974","display_name":"Trustworthiness","level":2,"score":0.28850001096725464},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.2883000075817108},{"id":"https://openalex.org/C93996380","wikidata":"https://www.wikidata.org/wiki/Q44127","display_name":"Server","level":2,"score":0.28679999709129333},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.28619998693466187},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.274399995803833},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.27320000529289246},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.27250000834465027},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2720000147819519},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.25519999861717224},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.25189998745918274}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.35167","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.35167","pdf_url":"https://arxiv.org/pdf/2609.35167","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.35167","doi":"https://doi.org/10.48550/arxiv.2609.35167","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.35167","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.35167","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.35167","pdf_url":"https://arxiv.org/pdf/2609.35167","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.5378999710083008,"display_name":"Industry, innovation and infrastructure"}],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7214739233.pdf","grobid_xml":"https://content.openalex.org/works/W7214739233.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7154259496","https://openalex.org/W7167496405","https://openalex.org/W4405934565","https://openalex.org/W7140085058","https://openalex.org/W7211949523","https://openalex.org/W4281751571","https://openalex.org/W4407953411","https://openalex.org/W2945673979","https://openalex.org/W6959674157","https://openalex.org/W4285071866"],"abstract_inverted_index":{"Machine":[0],"learning":[1],"(ML)":[2],"increasingly":[3],"powers":[4],"Internet":[5],"of":[6],"Things":[7],"(IoT)":[8],"applications":[9],"at":[10,105],"the":[11,190,207],"edge.":[12],"Yet":[13],"producing":[14],"a":[15,21,26,71,169],"deployable":[16,65],"edge":[17,52,66],"ML":[18,67],"artifact":[19,203],"for":[20,91,158],"specific":[22],"scenario":[23],"requires":[24],"navigating":[25],"huge":[27],"search":[28],"space":[29],"spanning":[30],"data":[31],"representation,":[32],"model":[33],"design,":[34],"training":[35,175],"on":[36,196,204,211,219],"domain-specific":[37],"data,":[38],"and":[39,46,95,123,176,199],"runtime":[40,171],"customization.":[41],"This":[42],"workflow":[43],"is":[44],"fragmented":[45],"difficult":[47],"to":[48,83,128,144,227],"scale":[49],"across":[50],"diverse":[51],"applications.":[53],"We":[54],"present":[55],"EdgeCraft,":[56],"an":[57,79,201],"LLM-driven":[58],"system":[59,72],"that":[60,87,172],"turns":[61],"high-level":[62],"intent":[63],"into":[64],"artifacts.":[68],"Building":[69],"such":[70],"raises":[73],"two":[74,113,208],"challenges:":[75],"(1)":[76,115],"How":[77,98],"can":[78,99],"LLM":[80],"be":[81,103],"guided":[82],"find":[84],"high-quality":[85],"solutions":[86],"meet":[88],"dynamic":[89],"SLOs":[90],"task":[92],"quality,":[93],"latency,":[94],"energy?":[96],"(2)":[97,132],"trustworthy":[100],"target-device":[101,142,177],"verification":[102,143,146,151,178],"obtained":[104],"low":[106],"cost?":[107],"EdgeCraft":[108,167,188,215],"addresses":[109],"these":[110],"challenges":[111],"with":[112,140,206],"designs.":[114],"A":[116,133],"constraint-aware":[117],"synthesis":[118],"tree":[119],"explores":[120],"alternative":[121],"candidates":[122],"uses":[124],"measured":[125],"SLO":[126],"gaps":[127],"guide":[129],"each":[130],"improvement.":[131],"multi-fidelity":[134],"verifier":[135],"progressively":[136],"combines":[137],"low-cost":[138],"checks":[139],"full":[141],"reduce":[145],"cost":[147],"while":[148,181],"preserving":[149],"reliable":[150],"results.":[152],"It":[153],"also":[154],"records":[155],"verified":[156],"failures":[157],"reuse,":[159],"avoiding":[160],"repeated":[161],"device":[162],"work.":[163],"To":[164],"support":[165],"concurrency,":[166],"provides":[168],"multi-tenant":[170],"runs":[173],"cloud":[174],"in":[179,193],"parallel":[180],"isolating":[182],"requests.":[183],"Across":[184],"50":[185],"public":[186],"tasks,":[187],"exceeds":[189],"task-specific":[191],"Reference":[192],"best-observed":[194],"quality":[195],"40":[197],"tasks":[198],"finds":[200],"SLO-feasible":[202],"45,":[205],"outcomes":[209],"overlapping":[210],"38":[212],"tasks.":[213,231],"Moreover,":[214],"achieves":[216],"competitive":[217],"performance":[218],"our":[220],"self-collected":[221],"SEN":[222],"dataset,":[223],"suggesting":[224],"its":[225],"generalizability":[226],"real-world":[228],"IoT":[229],"sensing":[230]},"counts_by_year":[],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2026-09-30T00:00:00"}