COMPLETE INDUCTION OF RECURRENT NEURAL NETWORKS