A recent thing I was learning/thinking about using neural networks to do program synthesis (to try to match some kind of fine-grained data), then run the program and see the actual output. Something similar could probably work for other types of symbolic computation. Let the neural network give you an intuition in a format you can actually check. So its basically there to speed up the concrete search/analysis.