Proof Extraction for Logical Neural Networks
- Thabang Lebese
- Ndivhuwo Makondo
- et al.
- 2021
- NeurIPS 2021
Naweed Khan is a Research Scientist and Master Inventor in the AI Science team at IBM Research - Africa. He heads the patent portfolio in the South Africa lab and is a lead open source developer in the global Neuro-Symbolic AI team. He is a recipient of IBM’s Research Accomplishment award, with work focusing on enhancing core machine learning algorithms, computational framework implementation and infrastructure development in projects that look beyond today’s deep learning approaches. He develops tools that push the boundaries in Natural Language Understanding: making machines that reason with knowledge, learn with noisy data and compute in an efficient and symbolically interpretable way. Naweed obtained his MEng in Robotics and Image processing at the University of Johannesburg, where he also holds a BSc in Computer Science.