Lobsters: Deep learning as program synthesis