Deep Learning for Theorem Generation and Premise Selection Post author By Nikolas Post date 2017-10-26 WaveNet-made theorem dataset Tags ai, automated theorem proving, deep learning, Isabelle, machine learning, Python, research, TensorFlow, WaveNet