Learning Proof Path Selection Policies in Neural Theorem Proving.

Matthew Morris, Pasquale Minervini, Phil Blunsom

Browse the full NeSy paper archive.