Ibrahim Abdelaziz

Orcid: 0000-0003-1449-5115

According to our database1, Ibrahim Abdelaziz authored at least 62 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
API-BLEND: A Comprehensive Corpora for Training and Benchmarking API LLMs.
CoRR, 2024

2023
DataRinse: Semantic Transforms for Data preparation based on Code Mining.
Proc. VLDB Endow., 2023

Learning to Guide a Saturation-Based Theorem Prover.
IEEE Trans. Pattern Anal. Mach. Intell., 2023

Formally Specifying the High-Level Behavior of LLM-Based Agents.
CoRR, 2023

LakeBench: Benchmarks for Data Discovery over Data Lakes.
CoRR, 2023

Serenity: Library Based Python Code Analysis for Code Completion and Automated Machine Learning.
CoRR, 2023

An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

SemFORMS: Automatic Generation of Semantic Transforms By Mining Data Science Code.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Self-Supervised Rule Learning to Link Text Segments to Relational Elements of Structured Knowledge.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2023, 2023

MISMATCH: Fine-grained Evaluation of Machine-generated Text with Mismatch Error Types.
Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

2022
A Scalable AutoML Approach Based on Graph Neural Networks.
Proc. VLDB Endow., 2022

Expressive Reasoning Graph Store: A Unified Framework for Managing RDF and Property Graph Databases.
CoRR, 2022

CBR-iKB: A Case-Based Reasoning Approach for Question Answering over Incomplete Knowledge Bases.
CoRR, 2022

Large Scale Generation of Labeled Type Data for Python.
CoRR, 2022

A Benchmark for Generalizable and Interpretable Temporal Question Answering over Knowledge Bases.
CoRR, 2022

Logical Neural Networks for Knowledge Base Completion with Embeddings & Rules.
Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

A Two-Stage Approach towards Generalization in Knowledge Base Question Answering.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2022, 2022


Can Machines Read Coding Manuals Yet? - A Benchmark for Building Better Language Models for Code Understanding.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
Learning to Transpile AMR into SPARQL.
CoRR, 2021

A Two-Stage Approach towards Generalization in Knowledge Base Question Answering.
CoRR, 2021

SYGMA: System for Generalizable Modular Question Answering OverKnowledge Bases.
CoRR, 2021

Combining Rules and Embeddings via Neuro-Symbolic AI for Knowledge Base Completion.
CoRR, 2021

Generative Relation Linking for Question Answering over Knowledge Bases.
Proceedings of the Semantic Web - ISWC 2021 - 20th International Semantic Web Conference, 2021

A Toolkit for Generating Code Knowledge Graphs.
Proceedings of the K-CAP '21: Knowledge Capture Conference, 2021

A Semantics-aware Transformer Model of Relation Linking for Knowledge Base Question Answering.
Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, 2021


Neural Analogical Matching.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

A Semantic Parsing and Reasoning-Based Approach to Knowledge Base Question Answering.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Question Answering over Knowledge Bases by Leveraging Semantic Parsing and Neuro-Symbolic Reasoning.
CoRR, 2020

Graph4Code: A Machine Interpretable Knowledge Graph for Code.
CoRR, 2020

Explainable Deep RDFS Reasoner.
CoRR, 2020

An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic.
CoRR, 2020

Leveraging Semantic Parsing for Relation Linking over Knowledge Bases.
Proceedings of the Semantic Web - ISWC 2020, 2020

A Demonstration of CodeBreaker: A Machine Interpretable Knowledge Graph for Code.
Proceedings of the ISWC 2020 Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 19th International Semantic Web Conference (ISWC 2020), 2020

HandVoxNet: Deep Voxel-Based Network for 3D Hand Shape and Pose Estimation From a Single Depth Map.
Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling.
CoRR, 2019

A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies.
CoRR, 2019

Matrix Algebra Framework for Portable, Scalable and Efficient Query Engines for RDF Graphs.
Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

Pivoted Subgraph Isomorphism: The Optimist, the Pessimist and the Realist.
Proceedings of the Advances in Database Technology, 2019

Improving Natural Language Inference Using External Knowledge in the Science Questions Domain.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Scalable Discovery and Analytics on Web Linked Data.
PhD thesis, 2018

A Demonstration of MAGiQ: Matrix Algebra Approach for Solving RDF Graph Queries.
Proc. VLDB Endow., 2018

2017
Large-scale structural and textual similarity-based mining of knowledge graph to predict drug-drug interactions.
J. Web Semant., 2017

Combining Vertex-Centric Graph Processing with SPARQL for Large-Scale RDF Data Analytics.
IEEE Trans. Parallel Distributed Syst., 2017

Lusail: A System for Querying Linked Data at Scale.
Proc. VLDB Endow., 2017

A Survey and Experimental Comparison of Distributed SPARQL Engines for Very Large RDF Data.
Proc. VLDB Endow., 2017

A Demonstration of Lusail: Querying Linked Data at Scale.
Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Query Optimizations over Decentralized RDF Graphs.
Proceedings of the 33rd IEEE International Conference on Data Engineering, 2017

In-Network Computation is a Dumb Idea Whose Time Has Come.
Proceedings of the 16th ACM Workshop on Hot Topics in Networks, Palo Alto, CA, USA, 2017

DAIET: a system for data aggregation inside the network.
Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

2016
Accelerating SPARQL queries by exploiting hash-based locality and adaptive partitioning.
VLDB J., 2016

A large vocabulary system for Arabic online handwriting recognition.
Pattern Anal. Appl., 2016

Scalemine: scalable parallel frequent subgraph mining in a single large graph.
Proceedings of the International Conference for High Performance Computing, 2016

Large-Scale Graph Processing Using Apache Giraph
Springer, ISBN: 978-3-319-47431-1, 2016

2015
Evaluating SPARQL Queries on Massive RDF Datasets.
Proc. VLDB Endow., 2015

SPARTex: A Vertex-Centric Framework for RDF Data Analytics.
Proc. VLDB Endow., 2015

Adaptive Partitioning for Very Large RDF Data.
CoRR, 2015

2014
Large Vocabulary Arabic Online Handwriting Recognition System.
CoRR, 2014

AltecOnDB: A Large-Vocabulary Arabic Online Handwriting Recognition Database.
CoRR, 2014


  Loading...