Symbolic Synthesis of Neural Networks