Abdelaziz, Ibrahim
- Granite Code Models: A Family of Open Foundation Models for Code Intelligence
2024/05/07 by Mayank Mishra, Matt Stallone, Mishra, Mayank +88 · 17 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research
- API-BLEND: A Comprehensive Corpora for Training and Benchmarking API LLMs
2024/02/23 by Basu, Kinjal, Abdelaziz, Ibrahim, Chaudhury, Subhajit +7 · 9 citations
#Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences
- Granite-Function Calling Model: Introducing Function Calling Abilities via Multi-task Learning of Granular Tasks
2024/06/27 by Ibrahim Abdelaziz, Abdelaziz, Ibrahim, Kinjal Basu +49 · 9 citations
Engineering · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Robotics and Automated Systems
- NESTFUL: A Benchmark for Evaluating LLMs on Nested Sequences of API Calls
2024/09/04 by Kinjal Basu, Ibrahim Abdelaziz, Basu, Kinjal +22 · 9 citations
Computer Science · Business, Management and Accounting · #Service-Oriented Architecture and Web Services #Digital Rights Management and Security #Business Process Modeling and Analysis
- Formally Specifying the High-Level Behavior of LLM-Based Agents
2023/10/12 by Crouse, Maxwell, Abdelaziz, Ibrahim, Astudillo, Ramon +7 · 4 citations
#Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences
- HandVoxNet: Deep Voxel-Based Network for 3D Hand Shape and Pose Estimation from a Single Depth Map
2020/04/03 by Malik, Jameel, Abdelaziz, Ibrahim, Elhayek, Ahmed +5 · 2 citations
#Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences
- Learning to Guide a Saturation-Based Theorem Prover
2021/06/07 by Abdelaziz, Ibrahim, Crouse, Maxwell, Makni, Bassem +8 · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Leveraging Abstract Meaning Representation for Knowledge Base Question Answering
2020/12/03 by Pavan Kapanipathi, Ibrahim Abdelaziz, Kapanipathi, Pavan +57 · 2 citations
Computer Science · #Advanced Graph Neural Networks #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Topic Modeling
- LakeBench: Benchmarks for Data Discovery over Data Lakes
2023/07/09 by Kavitha Srinivas, Julian Dolby, Srinivas, Kavitha +15 · 3 citations
Decision Sciences · Computer Science · Business, Management and Accounting · #Data Quality and Management #Advanced Database Systems and Queries #Big Data and Business Intelligence
- R2D2: Remembering, Replaying and Dynamic Decision Making with a Reflective Agentic Memory
2025/01/21 by Tenghao Huang, Kinjal Basu, Huang, Tenghao +9 · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies
- Improving Natural Language Inference Using External Knowledge in the Science Questions Domain
2018/09/15 by Wang, Xiaoyan, Kapanipathi, Pavan, Musa, Ryan +8 · 1 citation
#Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling
2019/11/15 by Crouse, Maxwell, Abdelaziz, Ibrahim, Cornelio, Cristina +4 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Symbolic Computation (cs.SC)
- Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks
2019/11/05 by Kapanipathi, Pavan, Thost, Veronika, Patel, Siva Sankalp +10 · 1 citation
#Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences
- A Toolkit for Generating Code Knowledge Graphs
2020/02/21 by Abdelaziz, Ibrahim, Dolby, Julian, McCusker, Jamie +1 · 1 citation
#Artificial Intelligence (cs.AI) #Databases (cs.DB) #FOS: Computer and information sciences
- Neural Analogical Matching
2020/04/07 by Crouse, Maxwell, Nakos, Constantine, Abdelaziz, Ibrahim +1 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Neural and Evolutionary Computing (cs.NE) #Symbolic Computation (cs.SC)
- TabSketchFM: Sketch-based Tabular Representation Learning for Data Discovery over Data Lakes
2024/06/28 by Aamod Khatiwada, Khatiwada, Aamod, Harsha Kokel +17 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Data Management and Algorithms #Data Stream Mining Techniques #Databases (cs.DB) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Time Series Analysis and Forecasting
- SYGMA: System for Generalizable Modular Question Answering OverKnowledge Bases
2021/09/28 by Neelam, Sumit, Sharma, Udit, Karanam, Hima +21 · 1 citation
#Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences
- A Benchmark for Generalizable and Interpretable Temporal Question Answering over Knowledge Bases
2022/01/15 by Sumit Neelam, Neelam, Sumit, Udit Sharma +47 · 1 citation
Computer Science · #Topic Modeling #Natural Language Processing Techniques #Semantic Web and Ontologies
- An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
2023/05/15 by Fokoue, Achille, Abdelaziz, Ibrahim, Crouse, Maxwell +5 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- MISMATCH: Fine-grained Evaluation of Machine-generated Text with Mismatch Error Types
2023/06/18 by Keerthiram Murugesan, Murugesan, Keerthiram, Sarathkrishna Swaminathan +21 · 1 citation
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Text Readability and Simplification #Topic Modeling
- Generative Relation Linking for Question Answering over Knowledge Bases
2021/08/16 by Rossiello, Gaetano, Mihindukulasooriya, Nandana, Abdelaziz, Ibrahim +4 · 1 citation
#Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences
- An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic
2020/02/02 by Ibrahim Abdelaziz, Abdelaziz, Ibrahim, Veronika Thost +5 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning (cs.LG) #Natural Language Processing Techniques #Software Engineering Research
- LongFuncEval: Measuring the effectiveness of long context models for function calling
2025/04/30 by Kiran Kate, Kate, Kiran, Tejaswini Pedapati +13 · 2 citations
Computer Science · Decision Sciences · #FOS: Computer and information sciences #Natural Language Processing Techniques #Personal Information Management and User Behavior #Software Engineering (cs.SE) #Topic Modeling
- ToolRM: Outcome Reward Models for Tool-Calling Large Language Models
2025/09/15 by Mayank Agarwal, Agarwal, Mayank, Ibrahim Abdelaziz +11 · 3 citations
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Topic Modeling