High Quality Embeddings for Horn Logic Reasoning

Yifan Zhang, Yasir White, Dean Clark +4

Neural networks can be trained to rank the choices made by logical reasoners, resulting in more efficient searches for answers. A key step in this process is creating useful embedd…