Learning to Guide a Saturation-Based Theorem Prover
- Ibrahim Abdelaziz
- Maxwell Crouse
- et al.
- 2021
- IEEE TPAMI
Paper
Publications
37 results for Ibrahim Abdelaziz
A Toolkit for Generating Code Knowledge Graphs
- Ibrahim Abdelaziz
- Julian Dolby
- et al.
- 2021
- K-CAP 2021
Conference paperGenerative Relation Linking for Question Answering over Knowledge Bases
- Gaetano Rossiello
- Nandana Mihindukulasooriya
- et al.
- 2021
- ISWC 2021
Conference paperA Semantics-aware Transformer Model of Relation Linking for Knowledge Base Question Answering
- Tahira Naseem
- Srinivas Ravishankar
- et al.
- 2021
- ACL-IJCNLP 2021
Conference paperA Semantics-aware Transformer Model of Relation Linking for Knowledge Base Question Answering
- Tahira Naseem
- Srinivas Ravishankar
- et al.
- 2021
- ACL-IJCNLP 2021
Short paperLeveraging Abstract Meaning Representation for Knowledge Base Question Answering
- Pavan Kapanipathi
- Ibrahim Abdelaziz
- et al.
- 2021
- ACL-IJCNLP 2021
PaperNeural Analogical Matching
- Maxwell Crouse
- Constantine Nakos
- et al.
- 2021
- AAAI 2021
Conference paperA Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving
- Maxwell Crouse
- Ibrahim Abdelaziz
- et al.
- 2021
- AAAI 2021
Conference paperA Semantic Parsing and Reasoning-Based Approach to Knowledge Base Question Answering
- Ibrahim Abdelaziz
- Srinivas Ravishankar
- et al.
- 2021
- AAAI 2021
Conference paperA Semantic Parsing and Reasoning-Based Approach to Knowledge Base Question Answering
- Ibrahim Abdelaziz
- Srinivas Ravishankar
- et al.
- 2021
- AAAI 2021
Demo paper