Abdelaziz, Ibrahim

9 publications

NeurIPSW 2024 TabSketchFM: Sketch-Based Tabular Representation Learning for Data Discovery over Data Lakes Aamod Khatiwada, Harsha Kokel, Ibrahim Abdelaziz, Subhajit Chaudhury, Julian Dolby, Oktie Hassanzadeh, Zhenhan Huang, Tejaswini Pedapati, Horst Samulowitz, Kavitha Srinivas
IJCAI 2023 An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations Achille Fokoue, Ibrahim Abdelaziz, Maxwell Crouse, Shajith Ikbal, Akihiro Kishimoto, Guilherme Lima, Ndivhuwo Makondo, Radu Marinescu
IJCAI 2023 SemFORMS: Automatic Generation of Semantic Transforms by Mining Data Science Code Ibrahim Abdelaziz, Julian Dolby, Udayan Khurana, Horst Samulowitz, Kavitha Srinivas
AAAI 2022 Can Machines Read Coding Manuals yet? - A Benchmark for Building Better Language Models for Code Understanding Ibrahim Abdelaziz, Julian Dolby, Jamie P. McCusker, Kavitha Srinivas
AAAI 2021 A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving Maxwell Crouse, Ibrahim Abdelaziz, Bassem Makni, Spencer Whitehead, Cristina Cornelio, Pavan Kapanipathi, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue
AAAI 2021 A Semantic Parsing and Reasoning-Based Approach to Knowledge Base Question Answering Ibrahim Abdelaziz, Srinivas Ravishankar, Pavan Kapanipathi, Salim Roukos, Alexander G. Gray
AAAI 2021 Neural Analogical Matching Maxwell Crouse, Constantine Nakos, Ibrahim Abdelaziz, Kenneth D. Forbus
AAAI 2020 Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks Pavan Kapanipathi, Veronika Thost, Siva Sankalp Patel, Spencer Whitehead, Ibrahim Abdelaziz, Avinash Balakrishnan, Maria Chang, Kshitij Fadnis, R. Chulaka Gunasekara, Bassem Makni, Nicholas Mattei, Kartik Talamadupula, Achille Fokoue
AAAI 2019 Improving Natural Language Inference Using External Knowledge in the Science Questions Domain Xiaoyan Wang, Pavan Kapanipathi, Ryan Musa, Mo Yu, Kartik Talamadupula, Ibrahim Abdelaziz, Maria Chang, Achille Fokoue, Bassem Makni, Nicholas Mattei, Michael Witbrock