Logical Rule Induction and Theory Learning Using Neural Theorem Proving

Andres Campero, Aldo Pareja, Tim Klinger +2

A hallmark of human cognition is the ability to continually acquire and distill observations of the world into meaningful, predictive theories. In this paper we present a new mecha…