conftrace_

neural circuit synthesis

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

hardware synthesis (1) linear-time temporal logic (1) hardware circuit (1) neural network (1) circuit synthesis (1) linear temporal logic (1) specification mining (1) formal language (1) temporal logic (1) formal verification (1)

Papers

Neural Circuit Synthesis from Specification Patterns NeurIPS 2021