{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,17]],"date-time":"2025-11-17T12:12:44Z","timestamp":1763381564005,"version":"3.45.0"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-2402958"],"award-info":[{"award-number":["CNS-2402958"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,11,17]]},"DOI":"10.1145\/3772356.3772402","type":"proceedings-article","created":{"date-parts":[[2025,11,17]],"date-time":"2025-11-17T12:02:48Z","timestamp":1763380968000},"page":"176-183","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Tackling Ambiguity in User Intent for LLM-based Network Configuration Synthesis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-6851-0353","authenticated-orcid":false,"given":"Rajdeep","family":"Mondal","sequence":"first","affiliation":[{"name":"UCLA, Los Angeles, California, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1695-2810","authenticated-orcid":false,"given":"Nikolaj","family":"Bjorner","sequence":"additional","affiliation":[{"name":"Microsoft, Redmond, WA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2031-1514","authenticated-orcid":false,"given":"Todd","family":"Millstein","sequence":"additional","affiliation":[{"name":"UCLA, Los Angeles, CA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-9696-2914","authenticated-orcid":false,"given":"Alan","family":"Tang","sequence":"additional","affiliation":[{"name":"Microsoft, Redmond, WA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8218-5701","authenticated-orcid":false,"given":"George","family":"Varghese","sequence":"additional","affiliation":[{"name":"UCLA, Los Angeles, CA, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,11,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386367.3431304"},{"key":"e_1_3_2_1_2_1","unstructured":"Akari Asai Zeqiu Wu Yizhong Wang Avirup Sil and Hannaneh Hajishirzi. 2023. Self-RAG: Learning to Retrieve Generate and Critique through Self-Reflection. arXiv:2310.11511 [cs.CL] https:\/\/arxiv.org\/abs\/2310.11511"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934909"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3140587.3062367"},{"key":"e_1_3_2_1_5_1","unstructured":"Cisco Systems Inc. [n. d.]. Cisco IOS Configuration Fundamentals Command Reference. https:\/\/www.cisco.com\/c\/en\/us\/td\/docs\/ios\/fundamentals\/command\/reference\/cf_book.html. Accessed 05-10-2025."},{"key":"e_1_3_2_1_6_1","volume-title":"Robert Osazuwa Ness, and Jonathan Larson","author":"Edge Darren","year":"2025","unstructured":"Darren Edge, Ha Trinh, Newman Cheng, Joshua Bradley, Alex Chao, Apurva Mody, Steven Truitt, Dasha Metropolitansky, Robert Osazuwa Ness, and Jonathan Larson. 2025. From Local to Global: A Graph RAG Approach to Query-Focused Summarization. arXiv:2404.16130 [cs.CL] https:\/\/arxiv.org\/abs\/2404.16130"},{"key":"e_1_3_2_1_7_1","volume-title":"NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion. In 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18)","author":"El-Hassany Ahmed","year":"2018","unstructured":"Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, and Martin Vechev. 2018. NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion. In 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18). USENIX Association, Renton, WA, 579\u2013594. https:\/\/www.usenix.org\/conference\/nsdi18\/presentation\/el-hassany"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63390-9_14"},{"key":"e_1_3_2_1_9_1","volume-title":"12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15)","author":"Fogel Ari","year":"2015","unstructured":"Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, and Todd Millstein. 2015. A General Approach to Network Configuration Analysis. In 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). USENIX Association, Oakland, CA, 469\u2013483. https:\/\/www.usenix.org\/conference\/nsdi15\/technical-sessions\/presentation\/fogel"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/NetSoft60951.2024.10588879"},{"key":"e_1_3_2_1_11_1","unstructured":"Yunfan Gao Yun Xiong Meng Wang and Haofen Wang. 2024. Modular RAG: Transforming RAG Systems into LEGO-like Reconfigurable Frameworks. arXiv:2407.21059 [cs.CL] https:\/\/arxiv.org\/abs\/2407.21059"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.2023.3336239"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","unstructured":"Yaojie Hu Qiang Zhou Qihong Chen Xiaopeng Li Linbo Liu Dejiao Zhang Amit Kachroo Talha Oz and Omer Tripp. 2025. QualityFlow: An Agentic Workflow for Program Synthesis Controlled by LLM Quality Checks. 10.48550\/arXiv.2501.17167","DOI":"10.48550\/arXiv.2501.17167"},{"key":"e_1_3_2_1_14_1","unstructured":"Beni Ifland Elad Duani Rubin Krief Miro Ohana Aviram Zilberman Andres Murillo Ofir Manor Ortal Lavi Hikichi Kenji Asaf Shabtai Yuval Elovici and Rami Puzis. 2024. GeNet: A Multi-modal LLM-Based Co-Pilot for Network Topology and Configuration. arXiv:2407.08249 [cs.NI] https:\/\/arxiv.org\/abs\/2407.08249"},{"key":"e_1_3_2_1_15_1","volume-title":"Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks. CoRR abs\/2005.11401","author":"Lewis Patrick S. H.","year":"2020","unstructured":"Patrick S. H. Lewis, Ethan Perez, Aleksandra Piktus, Fabio Petroni, Vladimir Karpukhin, Naman Goyal, Heinrich K\u00fcttler, Mike Lewis, Wentau Yih, Tim Rockt\u00e4schel, Sebastian Riedel, and Douwe Kiela. 2020. Retrieval-Augmented Generation for Knowledge-Intensive NLP Tasks. CoRR abs\/2005.11401 (2020). arXiv:2005.11401 https:\/\/arxiv.org\/abs\/2005.11401"},{"key":"e_1_3_2_1_16_1","unstructured":"Fuliang Li Haozhi Lang Jiajie Zhang Jiaxing Shen and Xingwei Wang. 2024. PreConfig: A Pretrained Model for Automating Network Configuration. arXiv:2403.09369 [cs.NI] https:\/\/arxiv.org\/abs\/2403.09369"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.emnlp-main.51"},{"key":"e_1_3_2_1_18_1","volume-title":"CEGS: Configuration Example Generalizing Synthesizer. In 22nd USENIX Symposium on Networked Systems Design and Implementation (NSDI 25)","author":"Liu Jianmin","year":"2025","unstructured":"Jianmin Liu, Li Chen, Dan Li, and Yukai Miao. 2025. CEGS: Configuration Example Generalizing Synthesizer. In 22nd USENIX Symposium on Networked Systems Design and Implementation (NSDI 25). USENIX Association, Philadelphia, PA, 1327\u20131347. https:\/\/www.usenix.org\/conference\/nsdi25\/presentation\/liu-jianmin"},{"key":"e_1_3_2_1_19_1","unstructured":"Declan McCullagh. [n. d.]. How Pakistan knocked YouTube offline (and how to make sure it never happens again)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3626111.3628194"},{"key":"e_1_3_2_1_21_1","unstructured":"Sean Welleck Pranjal Aggarwal Bryan Parno. 2024. AlphaVerus: Boot-strapping Formally Verified Code Generation through Self-Improving Translation and Treefinement. arXiv:2405.19616 [cs.AI] https:\/\/arxiv.org\/abs\/2412.06176"},{"key":"e_1_3_2_1_22_1","volume-title":"Practical Intent-driven Routing Configuration Synthesis. In 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23)","author":"Ramanathan Sivaramakrishnan","year":"2023","unstructured":"Sivaramakrishnan Ramanathan, Ying Zhang, Mohab Gawish, Yogesh Mundada, Zhaodong Wang, Sangki Yun, Eric Lippert, Walid Taha, Minlan Yu, and Jelena Mirkovic. 2023. Practical Intent-driven Routing Configuration Synthesis. In 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23). USENIX Association, Boston, MA, 629\u2013644. https:\/\/www.usenix.org\/conference\/nsdi23\/presentation\/ramanathan"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472915"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Anastasiia Sedova Robert Litschko Diego Frassinelli Benjamin Roth and Barbara Plank. 2024. To Know or Not To Know? Analyzing Self-Consistency of Large Language Models under Ambiguity. arXiv:2407.17125 [cs.CL] https:\/\/arxiv.org\/abs\/2407.17125","DOI":"10.18653\/v1\/2024.findings-emnlp.1003"},{"key":"e_1_3_2_1_25_1","unstructured":"Amazon Web Services. [n. d.]. Validate your Automated Reasoning policy test results. https:\/\/docs.aws.amazon.com\/bedrock\/latest\/userguide\/validate-automated-reasoning-policy-results.html. Accessed 17-10-2025."},{"key":"e_1_3_2_1_26_1","unstructured":"Aditi Singh Abul Ehtesham Saket Kumar and Tala Talaei Khoei. 2025. Agentic Retrieval-Augmented Generation: A Survey on Agentic RAG. arXiv:2501.09136 [cs.AI] https:\/\/arxiv.org\/abs\/2501.09136"},{"key":"e_1_3_2_1_27_1","volume-title":"Davis","author":"Stoica Ion","year":"2024","unstructured":"Ion Stoica, Matei Zaharia, Joseph Gonzalez, Ken Goldberg, Koushik Sen, Hao Zhang, Anastasios Angelopoulos, Shishir G. Patil, Lingjiao Chen, Wei-Lin Chiang, and Jared Q. Davis. 2024. Specifications: The missing link to making the development of LLM systems an engineering discipline. arXiv:2412.05299 [cs.SE] https:\/\/arxiv.org\/abs\/2412.05299"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-65112-0_7"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934874"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604842"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472925"},{"key":"e_1_3_2_1_32_1","first-page":"t2","volume-title":"Proc. ACM Netw. 2, CoNEXT2","author":"Wang Changjie","year":"2024","unstructured":"Changjie Wang, Mariano Scazzariello, Alireza Farshin, Simone Ferlin, Dejan Kostic, and Marco Chiesa. 2024. NetConfEval: Can LLMs Facilitate Network Configuration? Proc. ACM Netw. 2, CoNEXT2 (2024), 7:1\u20137:25. http:\/\/dblp.uni-trier.de\/db\/journals\/pacmnet\/pacmnet2.html#WangSFFKC24"},{"key":"e_1_3_2_1_33_1","unstructured":"Changjie Wang Mariano Scazzariello Alireza Farshin Dejan Kostic and Marco Chiesa. 2023. Making Network Configuration Human Friendly. arXiv:2309.06342 [cs.NI] https:\/\/arxiv.org\/abs\/2309.06342"},{"key":"e_1_3_2_1_34_1","unstructured":"Ke Wang Jiahui Zhu Minjie Ren Zeming Liu Shiwei Li Zongye Zhang Chenkai Zhang Xiaoyu Wu Qiqi Zhan Qingjie Liu and Yunhong Wang. 2024. A Survey on Data Synthesis and Augmentation for Large Language Models. arXiv:2410.12896 [cs.CL] https:\/\/arxiv.org\/abs\/2410.12896"},{"key":"e_1_3_2_1_35_1","volume-title":"The Thirteenth International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=xgQfWbV6Ey","author":"Wang Zilong","year":"2025","unstructured":"Zilong Wang, Zifeng Wang, Long Le, Steven Zheng, Swaroop Mishra, Vincent Perot, Yuwei Zhang, Anush Mattapalli, Ankur Taly, Jingbo Shang, Chen-Yu Lee, and Tomas Pfister. 2025. Speculative RAG: Enhancing Retrieval Augmented Generation through Drafting. In The Thirteenth International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=xgQfWbV6Ey"},{"key":"e_1_3_2_1_36_1","volume-title":"Chi, Quoc Le, and Denny Zhou","author":"Wei Jason","year":"2023","unstructured":"Jason Wei, Xuezhi Wang, Dale Schuurmans, Maarten Bosma, Brian Ichter, Fei Xia, Ed Chi, Quoc Le, and Denny Zhou. 2023. Chain-of-Thought Prompting Elicits Reasoning in Large Language Models. arXiv:2201.11903 [cs.CL] https:\/\/arxiv.org\/abs\/2201.11903"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3651890.3672238"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3728725.3728742"}],"event":{"name":"HotNets '25: 24th ACM Workshop on Hot Topics in Networks","location":"UMD Campus College Park MD USA","acronym":"HotNets '25","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the 24th ACM Workshop on Hot Topics in Networks"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3772356.3772402","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,17]],"date-time":"2025-11-17T12:07:50Z","timestamp":1763381270000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3772356.3772402"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,17]]},"references-count":38,"alternative-id":["10.1145\/3772356.3772402","10.1145\/3772356"],"URL":"https:\/\/doi.org\/10.1145\/3772356.3772402","relation":{},"subject":[],"published":{"date-parts":[[2025,11,17]]},"assertion":[{"value":"2025-11-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}