Publications

This is our catalog of recent publications authored by IBM researchers, in collaboration with the global research community. We’re currently adding our back catalog of more than 110,000 publications. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Featured collections

Popular topics

Year

24 results for Ibrahim Abdelaziz

A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving
- - Maxwell Crouse
  - Ibrahim Abdelaziz
  - et al.
- 2021
- AAAI 2021
Neural Analogical Matching
- - Maxwell Crouse
  - Constantine Nakos
  - et al.
- 2021
- AAAI 2021
Infusing knowledge into the textual entailment task using graph convolutional networks
- - Pavan Kapanipathi
  - Veronika Thost
  - et al.
- 2020
- AAAI 2020
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
- - Achille Fokoue
  - Ibrahim Abdelaziz
  - et al.
- 2023
- IJCAI 2023
A Scalable AutoML Approach Based on Graph Neural Networks
- - Mossad Helali
  - Essam Mansour
  - et al.
- 2022
- VLDB 2022
Can Machines Read Coding Manuals Yet? – A Benchmark for Building BetterLanguage Models for Code Understanding
- - Ibrahim Abdelaziz
  - Julian Dolby
  - et al.
- 2022
- AAAI 2022
Matrix algebra framework for portable, scalable and efficient query engines for RDF graphs
- - Fuad Jamour
  - Ibrahim Abdelaziz
  - et al.
- 2019
- EuroSys 2019
Improving natural language inference using external knowledge in the science questions domain
- - Xiaoyan Wang
  - Pavan Kapanipathi
  - et al.
- 2019
- AAAI 2019
DataRinse: Semantic Transforms for Data preparation based on Code Mining
- - Ibrahim Abdelaziz
  - Julian Dolby
  - et al.
- 2023
- VLDB 2023
SemFORMS: Automatic Generation of Semantic Transforms By Mining Data Science Code
- - Ibrahim Abdelaziz
  - Julian Dolby
  - et al.
- 2023
- IJCAI 2023