1

Learning Differentiable Programs with Admissible Neural Heuristics
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks