An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
@inproceedings{niagra_ijcai23,
title = {An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations},
author = {Fokoue, Achille and Abdelaziz, Ibrahim and Crouse, Maxwell and Ikbal, Shajith and Kishimoto, Akihiro and Lima, Guilherme and Makondo, Ndivhuwo and Marinescu, Radu},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI)},
pages = {3221--3229},
year = {2023}
}
links