3 papers
cs.NI2026
Self-evolving network verifiers
Ioannis Protogeros, Tibor Schneider, Laurent Vanbever
Symbolic network verifiers can reason about correctness across vast spaces of routing inputs and failures, but only for the protocols and features an expert has encoded by hand. Cr…
cs.AI2026
Evaluating Agentic Configuration Repair for Computer Networks
Rufat Asadli, Benjamin Hoffman, Ioannis Protogeros +1
Misconfigurations in computer networks remain a major source of critical Internet outages. Research is turning to Large Language Models (LLMs) to automate the complex, error-prone…
cs.NI2026
Benchmarking LLM-Driven Network Configuration Repair
Ioannis Protogeros, Rufat Asadli, Benjamin Hoffman +1
There is a rapidly growing interest in using Large Language Models (LLMs) to automate complex network operations, but their reliable adoption requires rigorous assessment of their…