Bridging Language Models and Formal Methods for Intent-Driven Optical Network Design
By: Anis Bekri , Amar Abane , Abdella Battou and more
Potential Business Impact:
Makes computer networks build themselves correctly.
Intent-Based Networking (IBN) aims to simplify network management by enabling users to specify high-level goals that drive automated network design and configuration. However, translating informal natural-language intents into formally correct optical network topologies remains challenging due to inherent ambiguity and lack of rigor in Large Language Models (LLMs). To address this, we propose a novel hybrid pipeline that integrates LLM-based intent parsing, formal methods, and Optical Retrieval-Augmented Generation (RAG). By enriching design decisions with domain-specific optical standards and systematically incorporating symbolic reasoning and verification techniques, our pipeline generates explainable, verifiable, and trustworthy optical network designs. This approach significantly advances IBN by ensuring reliability and correctness, essential for mission-critical networking tasks.
Similar Papers
RAG-Enabled Intent Reasoning for Application-Network Interaction
Networking and Internet Architecture
Computers understand what you want the network to do.
A Secured Intent-Based Networking (sIBN) with Data-Driven Time-Aware Intrusion Detection
Cryptography and Security
Stops hackers from tricking computer networks.
A Novel Integrated Architecture for Intent Based Approach and Zero Touch Networks
Networking and Internet Architecture
Lets you tell phones what you want, and they do it.