ML Anthology

Ikbal, Shajith

2 publications

IJCAI 2023 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
NeurIPS 2019 Quantum Embedding of Knowledge for Reasoning Dinesh Garg, Shajith Ikbal, Santosh K. Srivastava, Harit Vishwakarma, Hima Karanam, L Venkata Subramaniam