CounterExample Guided Neural Synthesis.

Elizabeth Polgreen Ralph Abboud Daniel Kroening

Published in: CoRR (2020)

Keyphrases

network architecture
neural network
model checking
hebbian learning
nonlinear predictive control
bio inspired
neural model
databases
biologically inspired
spiking neural networks
program synthesis
expert systems
evolutionary algorithm
functional programs
neural information processing