Learning Reasoning Strategies in End-to-End Differentiable Proving https://arxiv.org/abs/2007.06477
End-to-End Differentiable Proving https://arxiv.org/abs/1705.11040 Towards Neural Theorem Proving at Scale https://arxiv.org/abs/1807.08204 Neural Theorem Provers Do Not Learn Rules Without Exploration https://arxiv.org/abs/1906.06805 @philipthrift -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/ab2ddec3-696d-4429-8a72-6331ce7e8e29n%40googlegroups.com.
