An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
- Achille Fokoue
- Ibrahim Abdelaziz
- et al.
- 2023
- IJCAI 2023
Publications
Date
Featured collections
Popular topics
16 results for Shajith Ikbal
SYGMA: A System for Generalizable and Modular Question Answering Over Knowledge Bases
- Sumit Neelam
- Udit Sharma
- et al.
- 2022
- ACL-Findings 2022
Learning to Guide a Saturation-Based Theorem Prover
- Ibrahim Abdelaziz
- Maxwell Crouse
- et al.
- 2021
- IEEE TPAMI
Quantum embedding of knowledge for reasoning
- Dinesh Garg
- Shajith Ikbal
- et al.
- 2019
- NeurIPS 2019
Labeling educational content with academic learning standards
- Danish Contractor
- Kashyap Popat
- et al.
- 2015
- SDM 2015
Smarter learning content management using the Learning Content Hub
- Danish Contractor
- Sumit Negi
- et al.
- 2015
- IBM J. Res. Dev
On early prediction of risks in academic performance for students
- Shajith Ikbal
- Ashay Tamhane
- et al.
- 2015
- IBM J. Res. Dev
Predicting student risks through longitudinal analysis
- Ashay Tamhane
- Shajith Ikbal
- et al.
- 2014
- KDD 2014
Intent focused summarization of caller-agent conversations
- Shajith Ikbal
- Ashish Verma
- et al.
- 2013
- ICASSP 2013
Spoken document clustering using word confusion networks
- Shajith Ikbal
- Sachindra Joshi
- et al.
- 2012
- INTERSPEECH 2012