conftrace_

configuration synthesis

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

network configuration (3) counterexample guided inductive synthesis (1) neural network synthesis (1) link-state protocol (1) specification satisfaction (1) topology generalization (1) neural algorithmic reasoning (1) graph neural network (1) large language model (1) smt solving (1)

Papers

CEGS: Configuration Example Generalizing Synthesizer NSDI 2025 Learning to Configure Computer Networks with Neural Algorithmic Reasoning NeurIPS 2022 NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion NSDI 2018