Shajith Ikbal

1 paper in the IJCAI proceedings

IJCAI 2023

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

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

doi:10.24963/ijcai.2023/359

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings