Makondo, Ndivhuwo

3 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

IJCAI 2023 An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations Achille Fokoue, Ibrahim Abdelaziz, Maxwell Crouse, Shajith Ikbal, Akihiro Kishimoto, Guilherme Lima, Ndivhuwo Makondo, Radu Marinescu

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