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
Multi-type Display Calculus in Isabelle Post author By Nikolas Post date 2016-09-28 calculus embedding Tags ai, automated theorem proving, Isabelle, research