Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Ibrahim Abdelaziz

Learning to Guide a Saturation-Based Theorem Prover


Jun 07, 2021
Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni, Vernon Austil, Cristina Cornelio, Shajith Ikbal, Pavan Kapanipathi, Ndivhuwo Makondo, Kavitha Srinivas, Michael Witbrock, Achille Fokoue


  Access Paper or Ask Questions

Question Answering over Knowledge Bases by Leveraging Semantic Parsing and Neuro-Symbolic Reasoning


Dec 03, 2020
Pavan Kapanipathi, Ibrahim Abdelaziz, Srinivas Ravishankar, Salim Roukos, Alexander Gray, Ramon Astudillo, Maria Chang, Cristina Cornelio, Saswati Dana, Achille Fokoue, Dinesh Garg, Alfio Gliozzo, Sairam Gurajada, Hima Karanam, Naweed Khan, Dinesh Khandelwal, Young-Suk Lee, Yunyao Li, Francois Luus, Ndivhuwo Makondo, Nandana Mihindukulasooriya, Tahira Naseem, Sumit Neelam, Lucian Popa, Revanth Reddy, Ryan Riegel, Gaetano Rossiello, Udit Sharma, G P Shrivatsa Bhargav, Mo Yu


  Access Paper or Ask Questions

Leveraging Semantic Parsing for Relation Linking over Knowledge Bases


Sep 16, 2020
Nandana Mihindukulasooriya, Gaetano Rossiello, Pavan Kapanipathi, Ibrahim Abdelaziz, Srinivas Ravishankar, Mo Yu, Alfio Gliozzo, Salim Roukos, Alexander Gray

* Accepted at the 19th International Semantic Web Conference (ISWC 2020) 

  Access Paper or Ask Questions

Neural Analogical Matching


Apr 27, 2020
Maxwell Crouse, Constantine Nakos, Ibrahim Abdelaziz, Kenneth Forbus


  Access Paper or Ask Questions

HandVoxNet: Deep Voxel-Based Network for 3D Hand Shape and Pose Estimation from a Single Depth Map


Apr 03, 2020
Jameel Malik, Ibrahim Abdelaziz, Ahmed Elhayek, Soshi Shimada, Sk Aziz Ali, Vladislav Golyanik, Christian Theobalt, Didier Stricker

* 10 pages, 8 figures, 5 tables, CVPR 

  Access Paper or Ask Questions

Graph4Code: A Machine Interpretable Knowledge Graph for Code


Feb 21, 2020
Kavitha Srinivas, Ibrahim Abdelaziz, Julian Dolby, James P. McCusker


  Access Paper or Ask Questions

Explainable Deep RDFS Reasoner


Feb 10, 2020
Bassem Makni, Ibrahim Abdelaziz, James Hendler

* StarAI 2020 

  Access Paper or Ask Questions

An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic


Feb 02, 2020
Ibrahim Abdelaziz, Veronika Thost, Maxwell Crouse, Achille Fokoue

* 7 pages 

  Access Paper or Ask Questions

Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks


Nov 22, 2019
Pavan Kapanipathi, Veronika Thost, Siva Sankalp Patel, Spencer Whitehead, Ibrahim Abdelaziz, Avinash Balakrishnan, Maria Chang, Kshitij Fadnis, Chulaka Gunasekara, Bassem Makni, Nicholas Mattei, Kartik Talamadupula, Achille Fokoue


  Access Paper or Ask Questions

Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling


Nov 15, 2019
Maxwell Crouse, Ibrahim Abdelaziz, Cristina Cornelio, Veronika Thost, Lingfei Wu, Kenneth Forbus, Achille Fokoue


  Access Paper or Ask Questions

A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies


Nov 05, 2019
Maxwell Crouse, Spencer Whitehead, Ibrahim Abdelaziz, Bassem Makni, Cristina Cornelio, Pavan Kapanipathi, Edwin Pell, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue


  Access Paper or Ask Questions

Improving Natural Language Inference Using External Knowledge in the Science Questions Domain


Sep 15, 2018
Xiaoyan Wang, Pavan Kapanipathi, Ryan Musa, Mo Yu, Kartik Talamadupula, Ibrahim Abdelaziz, Maria Chang, Achille Fokoue, Bassem Makni, Nicholas Mattei, Michael Witbrock

* 9 pages, 3 figures, 5 tables 

  Access Paper or Ask Questions

Large Vocabulary Arabic Online Handwriting Recognition System


Oct 17, 2015
Ibrahim Abdelaziz, Sherif Abdou, Hassanin Al-Barhamtoshy

* Preprint submitted to Pattern Analysis and Applications Journal 

  Access Paper or Ask Questions

AltecOnDB: A Large-Vocabulary Arabic Online Handwriting Recognition Database


Dec 24, 2014
Ibrahim Abdelaziz, Sherif Abdou

* The preprint is in submission 

  Access Paper or Ask Questions