An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
- Achille Fokoue
- Ibrahim Abdelaziz
- et al.
- 2023
- IJCAI 2023
Conference paper
Publications
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
Conference paperLearning to Guide a Saturation-Based Theorem Prover
- Ibrahim Abdelaziz
- Maxwell Crouse
- et al.
- 2021
- IEEE TPAMI
PaperQuantum embedding of knowledge for reasoning
- Dinesh Garg
- Shajith Ikbal
- et al.
- 2019
- NeurIPS 2019
Conference paperLabeling educational content with academic learning standards
- Danish Contractor
- Kashyap Popat
- et al.
- 2015
- SDM 2015
Conference paperOn early prediction of risks in academic performance for students
- Shajith Ikbal
- Ashay Tamhane
- et al.
- 2015
- IBM J. Res. Dev
PaperSmarter learning content management using the Learning Content Hub
- Danish Contractor
- Sumit Negi
- et al.
- 2015
- IBM J. Res. Dev
PaperPredicting student risks through longitudinal analysis
- Ashay Tamhane
- Shajith Ikbal
- et al.
- 2014
- KDD 2014
Conference paperIntent focused summarization of caller-agent conversations
- Shajith Ikbal
- Ashish Verma
- et al.
- 2013
- ICASSP 2013
Conference paperSpoken document clustering using word confusion networks
- Shajith Ikbal
- Sachindra Joshi
- et al.
- 2012
- INTERSPEECH 2012
Conference paper