mlsanityData to 14 Oct 2026

What do LLMs need to Synthesize Correct Router Configurations?

arXiv 2307.04945 ↗First posted 11 Jul 2023cs.NI cs.PLcited by 29

Not on the map. Why?

Abstract (arXiv)

We investigate whether Large Language Models (e.g., GPT-4) can synthesize correct router configurations with reduced manual effort. We find GPT-4 works very badly by itself, producing promising draft configurations but with egregious errors in topology, syntax, and semantics. Our strategy, that we call Verified Prompt Programming, is to combine GPT-4 with verifiers, and use localized feedback from the verifier to automatically correct errors. Verification requires a specification and actionable localized feedback to be effective. We show results for two use cases: translating from Cisco to Juniper configurations on a single router, and implementing no-transit policy on multiple routers. While human input is still required, if we define the leverage as the number of automated prompts to the number of human prompts, our experiments show a leverage of 10X for Juniper translation, and 6X for implementing no-transit policy, ending with verified configurations.

Key facts. Cited by 29 papers in the map (data through 14 Oct 2026). First posted on arXiv 11 Jul 2023.

Builds on

No reference list yet.

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2023: 2; 2024: 6; 2025: 11; 2026: 10.

29 papers.

Sort:

By area:

  1. 2024Large Language Model (LLM) for Telecommunications: A Comprehensive Survey on Principles, Key Techniques, and Opportunitiescited by 83
  2. 2023Clover: Closed-Loop Verifiable Code Generationcited by 67
  3. 2024TelecomGPT: A Framework to Build Telecom-Specfic Large Language Modelscited by 40
  4. 2023Can Large Language Models Find And Fix Vulnerable Software?cited by 15
  5. 2024Large Language Models for Networking: Workflow, Advances and Challengescited by 15
  6. 2024GeNet: A Multimodal LLM-Based Co-Pilot for Network Topology and Configurationcited by 6
  7. 2025MoE2: Optimizing Collaborative Inference for Edge Large Language Modelscited by 6
  8. 2025Man-Made Heuristics Are Dead. Long Live Code Generators!cited by 6
  9. 2025INTA: Intent-Based Translation for Network Configuration with LLM Agentscited by 5
  10. 2025TeleMath: A Benchmark for Large Language Models in Telecom Mathematical Problem Solvingcited by 5
  11. 2025Mapping the Landscape of Generative AI in Network Monitoring and Managementcited by 4
  12. 2024FastRAG: Retrieval Augmented Generation for Semi-structured Datacited by 3
17 more
  1. 2025Robust Heuristic Algorithm Design with LLMscited by 3
  2. 2025An LLM-based Agentic Framework for Accessible Network Controlcited by 2
  3. 2026Large Language Models for Agentic NetOps and AIOps: Architectures, Evaluation, and Safetycited by 2
  4. 2025From Connectivity to Autonomy: The Dawn of Self-Evolving Communication Systemscited by 1
  5. 2025Understanding Network Behaviors through Natural Language Question-Answeringcited by 1
  6. 2026TeleDoCTR: Domain-Specific and Contextual Troubleshooting for Telecommunicationscited by 1
  7. 2026Advanced LLM-Enhanced Intent-Based 5G Network Management using Dynamic Semantic Routescited by 1
  8. 2026NetConfArena: An Executable Benchmark for LLM Agents in Closed-Loop Network Configurationcited by 1
  9. 2026Uncertainty Signals for Network Intent Translation: Risk Ranking and Ambiguity Localizationcited by 1
  10. 2024Rephrase and Contrast: Fine-Tuning Language Models for Enhanced Understanding of Communication and Computer Networkscited by 0
  11. 2025BEAR: BGP Event Analysis and Reportingcited by 0
  12. 2025Automated Network Protocol Testing with LLM Agentscited by 0
  13. 2026Aether: Network Validation Using Agentic AI and Digital Twincited by 0
  14. 2026Can AI Agents Detect and Repair Artifact Drift in Network Experiments?cited by 0
  15. 2026Can AI Agents Deliver Verifiable Network-Wide Outcomes Across Authority Boundaries?cited by 0
  16. 2026Large Language Models in the Loop: A Stability- and Network-Aware Survey in Networked Control, Cyber-Physical, and Multi-Agent Systemscited by 0
  17. 2026Can You Check That? The Checkability Boundary for Local LLM Network Automationcited by 0