Khan, Naweed

2 publications

AAAI 2025 Neural Reasoning Networks: Efficient Interpretable Neural Networks with Automatic Textual Explanations Stephen Carrow, Kyle Erwin, Olga Vilenskaia, Parikshit Ram, Tim Klinger, Naweed Khan, Ndivhuwo Makondo, Alexander G. Gray

NeurIPSW 2021 Proof Extraction for Logical Neural Networks Thabang Lebese, Ndivhuwo Makondo, Cristina Cornelio, Naweed Khan