{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T12:38:44Z","timestamp":1764333524025,"version":"3.37.0"},"reference-count":45,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,10,28]],"date-time":"2024-10-28T00:00:00Z","timestamp":1730073600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,10,28]],"date-time":"2024-10-28T00:00:00Z","timestamp":1730073600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,10,28]]},"DOI":"10.1109\/icnp61940.2024.10858572","type":"proceedings-article","created":{"date-parts":[[2025,2,4]],"date-time":"2025-02-04T18:29:45Z","timestamp":1738693785000},"page":"1-12","source":"Crossref","is-referenced-by-count":4,"title":["Configtrans: Network Configuration Translation Based on Large Language Models and Constraint Solving"],"prefix":"10.1109","author":[{"given":"Naigong","family":"Zheng","sequence":"first","affiliation":[{"name":"Northeastern University,China"}]},{"given":"Fuliang","family":"Li","sequence":"additional","affiliation":[{"name":"Northeastern University,China"}]},{"given":"Ziming","family":"Li","sequence":"additional","affiliation":[{"name":"Northeastern University,China"}]},{"given":"Yu","family":"Yang","sequence":"additional","affiliation":[{"name":"Hong Kong Polytechnic University,China"}]},{"given":"Yimo","family":"Hao","sequence":"additional","affiliation":[{"name":"Northeastern University,China"}]},{"given":"Chenyang","family":"Liu","sequence":"additional","affiliation":[{"name":"Northeastern University,China"}]},{"given":"Xingwei","family":"Wang","sequence":"additional","affiliation":[{"name":"Northeastern University,China"}]}],"member":"263","reference":[{"volume-title":"Cisco sues huawei over intellectual property","year":"2003","author":"Duffy","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3544216.3544244"},{"volume-title":"Openconfig","year":"2023","key":"ref3"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.17487\/RFC7950","article-title":"The yang 1.1 data modeling language","volume-title":"Internet Engineering Task Force (IETF)","author":"Bjorklund","year":"2016"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.18653\/v1\/D19-1410","article-title":"Sentence-bert: Sentence embeddings using siamese bert-networks","volume-title":"Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing","author":"Reimers"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.emnlp-main.1036"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1162\/tacl_a_00632"},{"key":"ref8","article-title":"Gpt-ner: Named entity recognition via large language models","author":"Wang","year":"2023","journal-title":"arXiv preprint"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3627703.3629553"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3613891"},{"key":"ref11","article-title":"Leveraging advanced large language models to optimize network device configuration","volume-title":"Ph.D. dissertation","author":"Bogdanov","year":"2024"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3656296"},{"article-title":"Models","volume-title":"OpenAI","year":"2024","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1162\/tacl_a_00638"},{"key":"ref15","article-title":"Retrieval-augmented generation for large language models: A survey","author":"Gao","year":"2023","journal-title":"arXiv preprint"},{"key":"ref16","first-page":"22199","article-title":"Large language models are zero-shot reasoners","volume":"35","author":"Kojima","year":"2022","journal-title":"Advances in neural information processing systems"},{"volume-title":"Nassim datasets","year":"2022","author":"Amy","key":"ref17"},{"volume-title":"Huawei ne40e product documentation","year":"2023","author":"Huawei","key":"ref18"},{"key":"ref19","article-title":"Efficient estimation of word representations in vector space","author":"Mikolov","year":"2013","journal-title":"arXiv preprint"},{"volume-title":"Models with the tag of sentence similarity","key":"ref20","article-title":"huggingface"},{"key":"ref21","article-title":"Mteb: Massive text embedding benchmark","author":"Muennighoff","year":"2022","journal-title":"arXiv preprint"},{"key":"ref22","article-title":"Sfr-embedding-mistral:enhance text retrieval with transfer learning","author":"Rui","year":"2024","journal-title":"Salesforce AI Research Blog"},{"journal-title":"Generative representational instruction tuning","year":"2024","author":"Muennighoff","key":"ref23"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.acl-long.642"},{"article-title":"Chatgpt","volume-title":"OpenAI","year":"2024","key":"ref25"},{"volume-title":"open llm leaderboard","key":"ref26","article-title":"huggingface"},{"journal-title":"Opseval: A comprehensive task-oriented aiops benchmark for large language models","year":"2023","author":"Liu","key":"ref27"},{"key":"ref28","article-title":"Qwen technical report","author":"Bai","year":"2023","journal-title":"arXiv preprint"},{"volume-title":"Notes on qwen-max-0428","author":"Team","key":"ref29"},{"key":"ref30","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/978-3-319-63390-9_14","article-title":"Networkwide configuration synthesis","volume-title":"Computer Aided Verification: 29th International Conference","volume":"Proceedings, Part II 30","author":"El-Hassany","year":"2017"},{"key":"ref31","first-page":"579","article-title":"Netcomplete: Practical network-wide configuration synthesis with autocompletion","volume-title":"15th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 18)","author":"El-Hassany","year":"2018"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3341302.3342088"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3386367.3431304"},{"key":"ref34","first-page":"701","article-title":"Contra: A programmable system for performance-aware routing","volume-title":"17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)","author":"Hsu","year":"2020"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472906"},{"key":"ref36","first-page":"469","article-title":"A general approach to network configuration analysis","volume-title":"12th {USENIX} symposium on networked systems design and implementation ({NSDI} 15)","author":"Fogel","year":"2015"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934876"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/3544216.3544264"},{"key":"ref40","article-title":"Differential network analysis","author":"Zhang","year":"2022","journal-title":"USENIX NSDI"},{"volume-title":"Auto-gpt","year":"2023","author":"Gravitas","key":"ref41"},{"volume-title":"Babyagi","year":"2023","author":"Nakajima","key":"ref42"},{"key":"ref43","article-title":"Autogen: Enabling next-gen llm applications via multi-agent conversation framework","author":"Wu","year":"2023","journal-title":"arXiv preprint"},{"journal-title":"Metagpt: Meta programming for a multi-agent collaborative framework","year":"2023","author":"Hong","key":"ref44"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA241032"}],"event":{"name":"2024 IEEE 32nd International Conference on Network Protocols (ICNP)","start":{"date-parts":[[2024,10,28]]},"location":"Charleroi, Belgium","end":{"date-parts":[[2024,10,31]]}},"container-title":["2024 IEEE 32nd International Conference on Network Protocols (ICNP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10858485\/10858498\/10858572.pdf?arnumber=10858572","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,5]],"date-time":"2025-02-05T06:03:22Z","timestamp":1738735402000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10858572\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,28]]},"references-count":45,"URL":"https:\/\/doi.org\/10.1109\/icnp61940.2024.10858572","relation":{},"subject":[],"published":{"date-parts":[[2024,10,28]]}}}