Achille Fokoue, Ibrahim Abdelaziz, Maxwell Crouse, Shajith Ikbal, Akihiro Kishimoto, Guilherme Lima, Ndivhuwo Makondo, Radu Marinescu 0002. An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations. In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China. pages 3221-3229, ijcai.org, 2023. [doi]
Abstract is missing.