Matthew Morris, Pasquale Minervini, Phil Blunsom. Learning Proof Path Selection Policies in Neural Theorem Proving. In Artur d'Avila Garcez, Ernesto Jiménez-Ruiz, editors, Proceedings of the 16th International Workshop on Neural-Symbolic Learning and Reasoning as part of the 2nd International Joint Conference on Learning & Reasoning (IJCLR 2022), Cumberland Lodge, Windsor Great Park, UK, September 28-30, 2022. Volume 3212 of CEUR Workshop Proceedings, pages 64-87, CEUR-WS.org, 2022. [doi]
Abstract is missing.