Learning Proof Path Selection Policies in Neural Theorem Proving

Matthew Morris, Pasquale Minervini, Phil Blunsom