Deep Learning Proof Search for Lambek Calculus

master thesis

Deep Learning for Theorem Generation and Premise Selection

WaveNet-made theorem dataset

Multi-type Display Calculus in Isabelle

calculus embedding