End-to-End Differentiable Proving

31 May 2017

Papers citing "End-to-End Differentiable Proving"

44 / 94 papers shown

Title
TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning Minchao Wu Michael Norrish Christian J. Walder Amir Dezfouli 17 40 0 19 Feb 2021
Proof Artifact Co-training for Theorem Proving with Language Models Jesse Michael Han Jason M. Rute Yuhuai Wu Edward W. Ayers Stanislas Polu AIMat 30 121 0 11 Feb 2021
ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language Oyvind Tafjord Bhavana Dalvi Peter Clark 21 261 0 24 Dec 2020
Neurosymbolic AI: The 3rd Wave Artur Garcez Luís C. Lamb NAI 65 293 0 10 Dec 2020
Modeling Content and Context with Deep Relational Learning Maria Leonor Pacheco Dan Goldwasser NAI 53 34 0 20 Oct 2020
Neural Databases James Thorne Majid Yazdani Marzieh Saeidi Fabrizio Silvestri Sebastian Riedel A. Halevy NAI 36 9 0 14 Oct 2020
Dynamic Anticipation and Completion for Multi-Hop Reasoning over Sparse Knowledge Graph Xin Lv Xu Han Lei Hou Juan-Zi Li Zhiyuan Liu Wei Zhang Yichi Zhang Hao Kong Suhui Wu LRM 30 63 0 05 Oct 2020
Deriving Theorems in Implicational Linear Logic, Declaratively Paul Tarau Valeria C V de Paiva LRM 4 6 0 22 Sep 2020
Learning Reasoning Strategies in End-to-End Differentiable Proving Pasquale Minervini Sebastian Riedel Pontus Stenetorp Edward Grefenstette Tim Rocktaschel LRM 45 96 0 13 Jul 2020
Beyond Graph Neural Networks with Lifted Relational Neural Networks Gustav Sourek F. Železný Ondrej Kuzelka NAI 45 17 0 13 Jul 2020
A Simple Approach to Case-Based Reasoning in Knowledge Bases Rajarshi Das Ameya Godbole Shehzaad Dhuliawala Manzil Zaheer Andrew McCallum 23 24 0 25 Jun 2020
Conversational Neuro-Symbolic Commonsense Reasoning Forough Arabshahi Jennifer Lee Mikayla Gawarecki Kathryn Mazaitis A. Azaria Tom Michael Mitchell LRM 30 48 0 17 Jun 2020
Deep Adaptive Semantic Logic (DASL): Compiling Declarative Knowledge into Deep Neural Networks Karan Sikka Andrew Silberfarb John Byrnes Indranil Sur Edmond Chow Ajay Divakaran R. Rohwer NAI 19 11 0 16 Mar 2020
Injecting Domain Knowledge in Neural Networks: a Controlled Experiment on a Constrained Problem Mattia Silvestri M. Lombardi M. Milano AI4CE 37 18 0 25 Feb 2020
Scalable Neural Methods for Reasoning With a Symbolic Knowledge Base William W. Cohen Haitian Sun R. A. Hofer M. Siegler 30 61 0 14 Feb 2020
Relational Neural Machines G. Marra Michelangelo Diligenti Francesco Giannini Marco Gori Marco Maggini NAI BDL 30 38 0 06 Feb 2020
Differentiable Reasoning on Large Knowledge Bases and Natural Language Pasquale Minervini Matko Bovsnjak Tim Rocktaschel Sebastian Riedel Edward Grefenstette LRM 24 88 0 17 Dec 2019
Adapting Meta Knowledge Graph Information for Multi-Hop Reasoning over Few-Shot Relations Xin Lv Yuxian Gu Xu Han Lei Hou Juan-Zi Li Zhiyuan Liu LRM 28 86 0 30 Aug 2019
CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from Text Koustuv Sinha Shagun Sodhani Jin Dong Joelle Pineau William L. Hamilton 32 201 0 16 Aug 2019
Neural Probabilistic Logic Programming in DeepProbLog Robin Manhaeve Sebastijan Dumancic Angelika Kimmig T. Demeester Luc de Raedt NAI 40 542 0 18 Jul 2019
Integrating Knowledge and Reasoning in Image Understanding Somak Aditya Yezhou Yang Chitta Baral OCL 39 40 0 24 Jun 2019
Synthesizing Datalog Programs Using Numerical Relaxation X. Si Mukund Raghothaman K. Heo Mayur Naik 33 52 0 01 Jun 2019
Neural Markov Logic Networks G. Marra Ondrej Kuzelka NAI 29 41 0 31 May 2019
A Boxology of Design Patterns for Hybrid Learning and Reasoning Systems F. V. Harmelen A. T. Teije 14 67 0 29 May 2019
An Explicitly Relational Neural Network Architecture Murray Shanahan Kyriacos Nikiforou Antonia Creswell Christos Kaplanis David Barrett M. Garnelo NAI 3DV GAN 25 68 0 24 May 2019
Neural Logic Reinforcement Learning Zhengyao Jiang Shan Luo NAI 27 71 0 24 Apr 2019
Learning Relational Representations with Auto-encoding Logic Programs Sebastijan Dumancic Tias Guns Wannes Meert Hendrik Blockeel NAI 21 28 0 29 Mar 2019
Learning When Not to Answer: A Ternary Reward Structure for Reinforcement Learning based Question Answering Fréderic Godin Anjishnu Kumar Arpit Mittal 30 19 0 26 Feb 2019
RotatE: Knowledge Graph Embedding by Relational Rotation in Complex Space Zhiqing Sun Zhihong Deng Jian-Yun Nie Jian Tang 32 2,088 0 26 Feb 2019
Unsupervised Grounding of Plannable First-Order Logic Representation from Images Masataro Asai NAI 22 58 0 21 Feb 2019
Integrating Learning and Reasoning with Deep Logic Models G. Marra Francesco Giannini Michelangelo Diligenti Marco Gori NAI 37 56 0 14 Jan 2019
D3TW: Discriminative Differentiable Dynamic Time Warping for Weakly Supervised Action Alignment and Segmentation C. Chang De-An Huang Yanan Sui Li Fei-Fei Juan Carlos Niebles 22 156 0 09 Jan 2019
Neural Guided Constraint Logic Programming for Program Synthesis Lisa Zhang Gregory Rosenblatt Ethan Fetaya Renjie Liao William E. Byrd M. Might R. Urtasun R. Zemel NAI 11 30 0 08 Sep 2018
Multi-Hop Knowledge Graph Reasoning with Reward Shaping Xi Lin R. Socher Caiming Xiong LRM 32 331 0 31 Aug 2018
Ontology Reasoning with Deep Neural Networks Patrick Hohenecker Thomas Lukasiewicz NAI 27 81 0 24 Aug 2018
Towards Neural Theorem Proving at Scale Pasquale Minervini Matko Bosnjak Tim Rocktaschel Sebastian Riedel LRM NAI 24 38 0 21 Jul 2018
$ML + FV = $\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification$ ML + FV = $\heartsuit$ ? A Survey on the Application of Machine Learning to Formal Verification Moussa Amrani L. Lucio Adrien Bibal 30 5 0 10 Jun 2018
Embedding Logical Queries on Knowledge Graphs William L. Hamilton Payal Bajaj Marinka Zitnik Dan Jurafsky J. Leskovec NAI 33 287 0 05 Jun 2018
GamePad: A Learning Environment for Theorem Proving Daniel Huang Prafulla Dhariwal D. Song Ilya Sutskever 31 109 0 02 Jun 2018
Learning Latent Permutations with Gumbel-Sinkhorn Networks Gonzalo E. Mena David Belanger Scott W. Linderman Jasper Snoek 57 264 0 23 Feb 2018
Learning Explanatory Rules from Noisy Data Richard Evans Edward Grefenstette 76 479 0 13 Nov 2017
Learning to Plan Chemical Syntheses Marwin H. S. Segler Mike Preuss M. Waller 41 1,359 0 14 Aug 2017
Deep Reinforcement Learning: An Overview Yuxi Li OffRL VLM 106 1,505 0 25 Jan 2017
Separating Answers from Queries for Neural Reading Comprehension Dirk Weissenborn GNN 35 21 0 12 Jul 2016