From Generation to Guarantee: Intent-Based Configuration Update with Verification Feedback
Lingqi Guo, Yuhang Yan, Qi Qi, Haifeng Sun, Yuxing Peng, Zirui Zhuang, Bo He, Shaoling Sun, Jianxin Liao, Jingyu Wang
Abstract
Intent-Based Networking (IBN) has seen rapid advancement in recent years, largely fueled by the capabilities of large language models (LLMs). While LLMs enable more expressive and automated intent translation solutions, challenges such as hallucinated parameters, missing constraints, and syntax errors still limit their practical deployment. To address these challenges, we propose Artanis, an intent-based configuration framework that combines LLM-powered intent translation with multi-objective verification feedback to iteratively update configurations. Artanis comprises a Translator that produces candidate configuration updates (CUs) from intents, and a scalable multi-objective Verifier to evaluate the CUs. To enhance service guarantee, we introduce Group Relative Policy Optimization (GRPO) with verification feedback, a reinforcement learning method that dynamically adjusts the CUs by leveraging structured feedback from the Verifier. Evaluation on comprehensive network topologies shows that Artanis reduces the policy violation rate by 32.6% compared to existing approaches. Artanis achieves this while maintaining consistency with intents and adapting robustly to diverse network conditions.
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Related papers
- CEGS: Configuration Example Generalizing SynthesizerJianmin Liu, Li Chen, Dan Li, Yukai MiaoNSDI 2025 · 15 citations
- KUBETEUS: An Intelligent Network Policy Generation Framework for ContainersBom Kim, Hyeonjun Park, Seungsoo LeeINFOCOM 2025 · 4 citations
- NetKeeper: Enhancing Network Resilience with Autonomous Network Configuration Update on Traffic Patterns and AnomaliesZhaoyang Wan, Rongxin Han, Haifeng Sun, Qi Qi et al.USENIX ATC 2025 · 3 citations
- Automating Requirements Formalization: Using LLMs and Low-Complexity Distinguishing Traces for Semantic ValidationDaniel Mendoza, Anastasia Mavridou, Andreas Katis, Caroline TrippelICSE 2026
- On-Policy Optimization with Group Equivalent Preference for Multi-Programming Language UnderstandingHaoyuan Wu, Rui Ming, Jilong Gao, Hangyu Zhao et al.NeurIPS 2025 · 2 citations
