Vol-3211⫷ Vol-3212 ⫸Vol-3213
urn:nbn:de:0074-3212-0


Vol-3212/paper4⫷Vol-3212/paper5⫸Vol-3212/paper6
Matthew MorrisPasquale MinerviniPhil Blunsom

Learning Proof Path Selection Policies in Neural Theorem Proving