Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Ibrahim Abdelaziz
Map detail
Ibrahim Abdelaziz13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipIbrahim AbdelazizAIbrahim AbdelazizResearcherLarge Scale Generation of Labeled Type Data for PythonWLarge Scale Generation ...preprint / 2022An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order LogicWAn Experimental Study o...preprint / 2020AltecOnDB: A Large-Vocabulary Arabic Online Handwriting Recognition DatabaseWAltecOnDB: A Large-Voca...preprint / 2014Large Vocabulary Arabic Online Handwriting Recognition SystemWLarge Vocabulary Arabic...preprint / 2015Serenity: Library Based Python Code Analysis for Code Completion and Automated Machine LearningWSerenity: Library Based...preprint / 2023A Deep Reinforcement Learning Approach to First-Order Logic Theorem ProvingWA Deep Reinforcement Le...preprint / 2020Improving Graph Neural Network Representations of Logical Formulae with Subgraph PoolingWImproving Graph Neural ...preprint / 2020HandVoxNet: Deep Voxel-Based Network for 3D Hand Shape and Pose Estimation from a Single Depth MapWHandVoxNet: Deep Voxel-...preprint / 2020Explainable Deep RDFS ReasonerWExplainable Deep RDFS R...preprint / 2020ToolRM: Outcome Reward Models for Tool-Calling Large Language ModelsWToolRM: Outcome Reward ...preprint / 2026Adaptive Partitioning for Very Large RDF DataWAdaptive Partitioning f...preprint / 2015CBR-iKB: A Case-Based Reasoning Approach for Question Answering over Incomplete Knowledge BasesWCBR-iKB: A Case-Based R...preprint / 2022
Person12 links

Ibrahim Abdelaziz

Researcher