A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving
- Maxwell Crouse
- Ibrahim Abdelaziz
- et al.
- 2021
- AAAI 2021
Publications
Date
Featured collections
Popular topics
31 results for Ibrahim Abdelaziz
Neural Analogical Matching
- Maxwell Crouse
- Constantine Nakos
- et al.
- 2021
- AAAI 2021
Infusing knowledge into the textual entailment task using graph convolutional networks
- Pavan Kapanipathi
- Veronika Thost
- et al.
- 2020
- AAAI 2020
API-BLEND: A Comprehensive Corpora for Training and Benchmarking API LLMs
- Kinjal Basu
- Ibrahim Abdelaziz
- et al.
- 2024
- ACL 2024
A Scalable AutoML Approach Based on Graph Neural Networks
- Mossad Helali
- Essam Mansour
- et al.
- 2022
- VLDB 2022
Can Machines Read Coding Manuals Yet? – A Benchmark for Building Better Language Models for Code Understanding
- Ibrahim Abdelaziz
- Julian Dolby
- et al.
- 2022
- AAAI 2022
A Semantic Parsing and Reasoning-Based Approach to Knowledge Base Question Answering
- Ibrahim Abdelaziz
- Srinivas Ravishankar
- et al.
- 2021
- AAAI 2021
Improving natural language inference using external knowledge in the science questions domain
- Xiaoyan Wang
- Pavan Kapanipathi
- et al.
- 2019
- AAAI 2019
DataRinse: Semantic Transforms for Data preparation based on Code Mining
- Ibrahim Abdelaziz
- Julian Dolby
- et al.
- 2023
- VLDB 2023
A Semantic Parsing and Reasoning-Based Approach to Knowledge Base Question Answering
- Ibrahim Abdelaziz
- Srinivas Ravishankar
- et al.
- 2021
- AAAI 2021