Search Results for author: Ndivhuwo Makondo

Found 5 papers, 2 papers with code

An Analysis of Reinforcement Learning for Malaria Control

no code implementations19 Jul 2021 Ndivhuwo Makondo, Arinze Lawrence Folarin, Simphiwe Nhlahla Zitha, Sekou Lionel Remy

In this work, we formally study the formulation of Malaria control and present a comprehensive analysis of several formulations used in the literature.

Multi-Armed Bandits OpenAI Gym

Learning to Guide a Saturation-Based Theorem Prover

no code implementations7 Jun 2021 Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni, Vernon Austil, Cristina Cornelio, Shajith Ikbal, Pavan Kapanipathi, Ndivhuwo Makondo, Kavitha Srinivas, Michael Witbrock, Achille Fokoue

In addition, to the best of our knowledge, TRAIL is the first reinforcement learning-based approach to exceed the performance of a state-of-the-art traditional theorem prover on a standard theorem proving benchmark (solving up to 17% more problems).

Automated Theorem Proving

Logic Embeddings for Complex Query Answering

2 code implementations28 Feb 2021 Francois Luus, Prithviraj Sen, Pavan Kapanipathi, Ryan Riegel, Ndivhuwo Makondo, Thabang Lebese, Alexander Gray

Answering logical queries over incomplete knowledge bases is challenging because: 1) it calls for implicit link prediction, and 2) brute force answering of existential first-order logic queries is exponential in the number of existential variables.

Knowledge Graphs Link Prediction

Cannot find the paper you are looking for? You can Submit a new open access paper.