Alert button
Picture for Ibrahim Abdelaziz

Ibrahim Abdelaziz

Alert button

Formally Specifying the High-Level Behavior of LLM-Based Agents

Oct 12, 2023
Maxwell Crouse, Ibrahim Abdelaziz, Kinjal Basu, Soham Dan, Sadhana Kumaravel, Achille Fokoue, Pavan Kapanipathi, Luis Lastras

Figure 1 for Formally Specifying the High-Level Behavior of LLM-Based Agents
Figure 2 for Formally Specifying the High-Level Behavior of LLM-Based Agents
Figure 3 for Formally Specifying the High-Level Behavior of LLM-Based Agents
Figure 4 for Formally Specifying the High-Level Behavior of LLM-Based Agents
Viaarxiv icon

LakeBench: Benchmarks for Data Discovery over Data Lakes

Jul 09, 2023
Kavitha Srinivas, Julian Dolby, Ibrahim Abdelaziz, Oktie Hassanzadeh, Harsha Kokel, Aamod Khatiwada, Tejaswini Pedapati, Subhajit Chaudhury, Horst Samulowitz

Figure 1 for LakeBench: Benchmarks for Data Discovery over Data Lakes
Figure 2 for LakeBench: Benchmarks for Data Discovery over Data Lakes
Figure 3 for LakeBench: Benchmarks for Data Discovery over Data Lakes
Figure 4 for LakeBench: Benchmarks for Data Discovery over Data Lakes
Viaarxiv icon

MISMATCH: Fine-grained Evaluation of Machine-generated Text with Mismatch Error Types

Jun 18, 2023
Keerthiram Murugesan, Sarathkrishna Swaminathan, Soham Dan, Subhajit Chaudhury, Chulaka Gunasekara, Maxwell Crouse, Diwakar Mahajan, Ibrahim Abdelaziz, Achille Fokoue, Pavan Kapanipathi, Salim Roukos, Alexander Gray

Figure 1 for MISMATCH: Fine-grained Evaluation of Machine-generated Text with Mismatch Error Types
Figure 2 for MISMATCH: Fine-grained Evaluation of Machine-generated Text with Mismatch Error Types
Figure 3 for MISMATCH: Fine-grained Evaluation of Machine-generated Text with Mismatch Error Types
Figure 4 for MISMATCH: Fine-grained Evaluation of Machine-generated Text with Mismatch Error Types
Viaarxiv icon

An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations

May 15, 2023
Achille Fokoue, Ibrahim Abdelaziz, Maxwell Crouse, Shajith Ikbal, Akihiro Kishimoto, Guilherme Lima, Ndivhuwo Makondo, Radu Marinescu

Figure 1 for An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
Figure 2 for An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
Figure 3 for An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
Figure 4 for An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
Viaarxiv icon

Serenity: Library Based Python Code Analysis for Code Completion and Automated Machine Learning

Jan 05, 2023
Wenting Zhao, Ibrahim Abdelaziz, Julian Dolby, Kavitha Srinivas, Mossad Helali, Essam Mansour

Figure 1 for Serenity: Library Based Python Code Analysis for Code Completion and Automated Machine Learning
Figure 2 for Serenity: Library Based Python Code Analysis for Code Completion and Automated Machine Learning
Figure 3 for Serenity: Library Based Python Code Analysis for Code Completion and Automated Machine Learning
Figure 4 for Serenity: Library Based Python Code Analysis for Code Completion and Automated Machine Learning
Viaarxiv icon

Expressive Reasoning Graph Store: A Unified Framework for Managing RDF and Property Graph Databases

Sep 13, 2022
Sumit Neelam, Udit Sharma, Sumit Bhatia, Hima Karanam, Ankita Likhyani, Ibrahim Abdelaziz, Achille Fokoue, L. V. Subramaniam

Figure 1 for Expressive Reasoning Graph Store: A Unified Framework for Managing RDF and Property Graph Databases
Figure 2 for Expressive Reasoning Graph Store: A Unified Framework for Managing RDF and Property Graph Databases
Figure 3 for Expressive Reasoning Graph Store: A Unified Framework for Managing RDF and Property Graph Databases
Figure 4 for Expressive Reasoning Graph Store: A Unified Framework for Managing RDF and Property Graph Databases
Viaarxiv icon

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

Apr 18, 2022
Dung Thai, Srinivas Ravishankar, Ibrahim Abdelaziz, Mudit Chaudhary, Nandana Mihindukulasooriya, Tahira Naseem, Rajarshi Das, Pavan Kapanipathi, Achille Fokoue, Andrew McCallum

Figure 1 for CBR-iKB: A Case-Based Reasoning Approach for Question Answering over Incomplete Knowledge Bases
Figure 2 for CBR-iKB: A Case-Based Reasoning Approach for Question Answering over Incomplete Knowledge Bases
Figure 3 for CBR-iKB: A Case-Based Reasoning Approach for Question Answering over Incomplete Knowledge Bases
Figure 4 for CBR-iKB: A Case-Based Reasoning Approach for Question Answering over Incomplete Knowledge Bases
Viaarxiv icon

A Benchmark for Generalizable and Interpretable Temporal Question Answering over Knowledge Bases

Jan 15, 2022
Sumit Neelam, Udit Sharma, Hima Karanam, Shajith Ikbal, Pavan Kapanipathi, Ibrahim Abdelaziz, Nandana Mihindukulasooriya, Young-Suk Lee, Santosh Srivastava, Cezar Pendus, Saswati Dana, Dinesh Garg, Achille Fokoue, G P Shrivatsa Bhargav, Dinesh Khandelwal, Srinivas Ravishankar, Sairam Gurajada, Maria Chang, Rosario Uceda-Sosa, Salim Roukos, Alexander Gray, Guilherme Lima, Ryan Riegel, Francois Luus, L Venkata Subramaniam

Figure 1 for A Benchmark for Generalizable and Interpretable Temporal Question Answering over Knowledge Bases
Figure 2 for A Benchmark for Generalizable and Interpretable Temporal Question Answering over Knowledge Bases
Figure 3 for A Benchmark for Generalizable and Interpretable Temporal Question Answering over Knowledge Bases
Figure 4 for A Benchmark for Generalizable and Interpretable Temporal Question Answering over Knowledge Bases
Viaarxiv icon

Learning to Transpile AMR into SPARQL

Dec 15, 2021
Mihaela Bornea, Ramon Fernandez Astudillo, Tahira Naseem, Nandana Mihindukulasooriya, Ibrahim Abdelaziz, Pavan Kapanipathi, Radu Florian, Salim Roukos

Figure 1 for Learning to Transpile AMR into SPARQL
Figure 2 for Learning to Transpile AMR into SPARQL
Figure 3 for Learning to Transpile AMR into SPARQL
Figure 4 for Learning to Transpile AMR into SPARQL
Viaarxiv icon

A Two-Stage Approach towards Generalization in Knowledge Base Question Answering

Nov 17, 2021
Srinivas Ravishankar, June Thai, Ibrahim Abdelaziz, Nandana Mihidukulasooriya, Tahira Naseem, Pavan Kapanipathi, Gaetano Rossiello, Achille Fokoue

Figure 1 for A Two-Stage Approach towards Generalization in Knowledge Base Question Answering
Figure 2 for A Two-Stage Approach towards Generalization in Knowledge Base Question Answering
Figure 3 for A Two-Stage Approach towards Generalization in Knowledge Base Question Answering
Figure 4 for A Two-Stage Approach towards Generalization in Knowledge Base Question Answering
Viaarxiv icon