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