An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations.

Achille Fokoue, Ibrahim Abdelaziz, Maxwell Crouse, Shajith Ikbal, Akihiro Kishimoto, Guilherme Lima, Ndivhuwo Makondo, Radu Marinescu

Browse the full IJCAI paper archive.