Proof Extraction for Logical Neural Networks
- Thabang Lebese
- Ndivhuwo Makondo
- et al.
- 2021
- NeurIPS 2021
Publications
Date
Featured collections
Popular topics
7 results for Ndivhuwo MAKONDO
Leveraging Abstract Meaning Representation for Knowledge Base Question Answering
- Pavan Kapanipathi
- Ibrahim Abdelaziz
- et al.
- 2021
- ACL-IJCNLP 2021
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
- Achille Fokoue
- Ibrahim Abdelaziz
- et al.
- 2023
- IJCAI 2023
Knowledge Transfer using Model-Based Deep Reinforcement Learning
- Tlou Boloka
- Ndivhuwo Makondo
- et al.
- 2021
- SAUPEC/RobMech/PRASA 2021
Application of Machine Learning Techniques in Forecasting Groundwater Levels in the Grootfontein Aquifer
- Yolanda Kanyama
- Ritesh Ajoodha
- et al.
- 2020
- IMITEC 2020
NSA: Neuro-Symbolic Agents Workshop
- Daiki Kimura
- Alessandra Russo
- et al.
- 2023
- IJCAI 2023
Learning to Guide a Saturation-Based Theorem Prover
- Ibrahim Abdelaziz
- Maxwell Crouse
- et al.
- 2021
- IEEE TPAMI