A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving
- Maxwell Crouse
- Ibrahim Abdelaziz
- et al.
- 2021
- AAAI 2021
Ibrahim Abdelaziz is a Research Scientist at IBM Research AI. He received his Ph.D. from KAUST where he worked extensively on various aspects of graph analytics and distributed computing. Specifically, on building distributed systems to efficiently manage, query, and mine large-scale graphs. His research interests are in Knowledge Graphs, Natural Language Processing, Knowledge Representation, and Reasoning.