Can Neural Networks Understand Logical Entailment?

23 February 2018

Papers citing "Can Neural Networks Understand Logical Entailment?"

21 / 21 papers shown

Title
Extending Logical Neural Networks using First-Order Theories Aidan Evans Jorge Blanco NAI LRM AI4CE 10 0 0 06 Jul 2022
Generalized Quantifiers as a Source of Error in Multilingual NLU Benchmarks Ruixiang Cui Daniel Hershcovich Anders Søgaard 30 13 0 22 Apr 2022
Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability Kyle Richardson Ashish Sabharwal ReLM LRM 35 24 0 16 Dec 2021
Generating Symbolic Reasoning Problems with Transformer GANs Jens U. Kreber Christopher Hahn AI4CE 30 6 0 19 Oct 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 27 121 0 11 Feb 2021
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning Yuhuai Wu M. Rabe Wenda Li Jimmy Ba Roger C. Grosse Christian Szegedy AIMat LRM 77 53 0 15 Jan 2021
Beyond Graph Neural Networks with Lifted Relational Neural Networks Gustav Sourek F. Železný Ondrej Kuzelka NAI 43 17 0 13 Jul 2020
Learning advanced mathematical computations from examples Franccois Charton Amaury Hayat Guillaume Lample PINN 21 4 0 11 Jun 2020
Adversarial Analysis of Natural Language Inference Systems Tiffany Chien Jugal Kalita AAML 39 12 0 07 Dec 2019
Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling Mayank Agarwal Ibrahim Abdelaziz Cristina Cornelio Veronika Thost Lingfei Wu Kenneth D. Forbus Achille Fokoue NAI AI4CE GNN 101 36 0 15 Nov 2019
Neural Logic Rule Layers Jan Niclas Reimann Andreas Schwung NAI AI4CE 19 12 0 01 Jul 2019
Can neural networks understand monotonicity reasoning? Hitomi Yanaka K. Mineshima D. Bekki Kentaro Inui Satoshi Sekine Lasha Abzianidze Johan Bos LRM 30 80 0 15 Jun 2019
Towards Finding Longer Proofs Zsolt Zombori Adrián Csiszárik Henryk Michalewski C. Kaliszyk Josef Urban OffRL LRM 29 15 0 30 May 2019
Graph Representations for Higher-Order Logic and Theorem Proving Aditya Sanjay Paliwal Sarah M. Loos M. Rabe Kshitij Bansal Christian Szegedy AI4CE NoLa 28 97 0 24 May 2019
A logical-based corpus for cross-lingual evaluation Felipe Salvatore Marcelo Finger R. Hirata 21 1 0 10 May 2019
Analysing Mathematical Reasoning Abilities of Neural Models D. Saxton Edward Grefenstette Felix Hill Pushmeet Kohli LRM 39 418 0 02 Apr 2019
Analyzing Compositionality-Sensitivity of NLI Models Yixin Nie Yicheng Wang Joey Tianyi Zhou CoGe 24 82 0 16 Nov 2018
Learning to Perform Local Rewriting for Combinatorial Optimization Xinyun Chen Yuandong Tian NAI OffRL 45 338 0 30 Sep 2018
Ontology Reasoning with Deep Neural Networks Patrick Hohenecker Thomas Lukasiewicz NAI 27 81 0 24 Aug 2018
Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning Gil Lederman M. Rabe Edward A. Lee S. Seshia 13 38 0 20 Jul 2018
Relational inductive biases, deep learning, and graph networks Peter W. Battaglia Jessica B. Hamrick V. Bapst Alvaro Sanchez-Gonzalez V. Zambaldi ... Pushmeet Kohli M. Botvinick Oriol Vinyals Yujia Li Razvan Pascanu AI4CE NAI 121 3,087 0 04 Jun 2018