Deep Learning Proof Search for Lambek Calculus Post author By Nikolas Post date 2020-08-27 master thesis Tags ai, automated theorem proving, deep learning, Docker, HOL Light, machine learning, OCaml, Python, research
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