Towards Neural Theorem Proving at Scale

21 July 2018

Papers citing "Towards Neural Theorem Proving at Scale"

6 / 6 papers shown

Title
Structured Q-learning For Antibody Design Alexander I. Cowen-Rivers P. Gorinski Aivar Sootla Asif R. Khan Liu Furui J. Wang Jan Peters H. Ammar OffRL OnRL 24 3 0 10 Sep 2022
Relational Reasoning Networks G. Marra Michelangelo Diligenti Francesco Giannini NAI 29 4 0 01 Jun 2021
Beyond Graph Neural Networks with Lifted Relational Neural Networks Gustav Sourek F. Železný Ondrej Kuzelka NAI 35 17 0 13 Jul 2020
Differentiable Reasoning on Large Knowledge Bases and Natural Language Pasquale Minervini Matko Bovsnjak Tim Rocktaschel Sebastian Riedel Edward Grefenstette LRM 14 88 0 17 Dec 2019
Ontology Reasoning with Deep Neural Networks Patrick Hohenecker Thomas Lukasiewicz NAI 17 81 0 24 Aug 2018
Learning Efficient Algorithms with Hierarchical Attentive Memory Marcin Andrychowicz Karol Kurach 36 51 0 09 Feb 2016