conftrace_

specification mining

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

network specification (1) configuration mining (1) policy synthesis (1) linear temporal logic (1) circuit synthesis (1) neural activation pattern (1) input space (1) neural network (1) neural circuit synthesis (1) hardware synthesis (1)

Papers

Towards Reliable Neural Specifications ICML 2023 Neural Circuit Synthesis from Specification Patterns NeurIPS 2021 Config2Spec: Mining Network Specifications from Network Configurations NSDI 2020