84 citations · 100 across the 8 of their papers we have counts for
3 papers · 1 filter
An Analysis of Reinforcement Learning for Malaria Control
Ndivhuwo Makondo, Arinze Lawrence Folarin, Simphiwe Nhlahla Zitha +1
Previous work on policy learning for Malaria control has often formulated the problem as an optimization problem assuming the objective function and the search space have a specifi…
Learning to Guide a Saturation-Based Theorem Prover
Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni +8
Traditional automated theorem provers have relied on manually tuned heuristics to guide how they perform proof search. Recently, however, there has been a surge of interest in the…
Logic Embeddings for Complex Query Answering
Francois Luus, Prithviraj Sen, Pavan Kapanipathi +4
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…