Ibrahim Abdelaziz

Publications

• 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

• Learning to Guide a Saturation-Based Theorem Prover

  • • Ibrahim Abdelaziz
    • Maxwell Crouse
    • et al.
  • 2021
  • IEEE TPAMI

• A Toolkit for Generating Code Knowledge Graphs

  • • Ibrahim Abdelaziz
    • Julian Dolby
    • et al.
  • 2021
  • K-CAP 2021

• Generative Relation Linking for Question Answering over Knowledge Bases

  • • Gaetano Rossiello
    • Nandana Mihindukulasooriya
    • et al.
  • 2021
  • ISWC 2021

• Leveraging Abstract Meaning Representation for Knowledge Base Question Answering

  • • Pavan Kapanipathi
    • Ibrahim Abdelaziz
    • et al.
  • 2021
  • ACL-IJCNLP 2021

• A Semantics-aware Transformer Model of Relation Linking for Knowledge Base Question Answering

  • • Tahira Naseem
    • Srinivas Ravishankar
    • et al.
  • 2021
  • ACL-IJCNLP 2021

• A Semantics-aware Transformer Model of Relation Linking for Knowledge Base Question Answering

  • • Tahira Naseem
    • Srinivas Ravishankar
    • et al.
  • 2021
  • ACL-IJCNLP 2021

• A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving

  • • Maxwell Crouse
    • Ibrahim Abdelaziz
    • et al.
  • 2021
  • AAAI 2021

• Neural Analogical Matching

  • • Maxwell Crouse
    • Constantine Nakos
    • et al.
  • 2021
  • AAAI 2021

• A Semantic Parsing and Reasoning-Based Approach to Knowledge Base Question Answering

  • • Ibrahim Abdelaziz
    • Srinivas Ravishankar
    • et al.
  • 2021
  • AAAI 2021