🔗 Who cites «Can Neural Networks Understand Logical Entailment?»

34 papers of our library cite it (of the 149,439 whose bibliographies we read) · 17 with a page here, the most cited first · ← back to «Can Neural Networks Understand Logical Entailment?»

1. Relational inductive biases, deep learning, and graph networksarXiv:1806.01261Peter W. Battaglia, Jessica B. Hamrick, Victor Bapst, et al.2018 · 2,335 citations
2. Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language modelsarXiv:2206.04615 · Transactions on Machine Learning Research, May/2022, https://openreview.net/forum?id=uyTL5BvosjAarohi Srivastava, Abhinav Rastogi, Abhishek Rao, et al.2022 · 1,756 citations
3. Analysing Mathematical Reasoning Abilities of Neural ModelsarXiv:1904.01557David Saxton, Edward Grefenstette, Felix Hill, et al.2019 · 288 citations
4. Learning a SAT Solver from Single-Bit SupervisionarXiv:1802.03685Daniel Selsam, Matthew Lamm, Benedikt Bünz, et al.2018 · 232 citations
5. The Importance of Being Recurrent for Modeling Hierarchical StructureConference on Empirical Methods in Natural Language Processing (EMNLP)Ke Tran, Arianna Bisazza, Christof Monz2018 · 228 citations
6. Analyzing Compositionality-Sensitivity of NLI ModelsProceedings of the AAAI Conference on Artificial IntelligenceYixin Nie, Yicheng Wang, Mohit Bansal2018 · 121 citations
7. Posing Fair Generalization Tasks for Natural Language InferenceConference on Empirical Methods in Natural Language Processing (EMNLP)Atticus Geiger, Ignacio Cases, Lauri Karttunen, et al.2019 · 61 citations
8. IsarStep: a Benchmark for High-level Mathematical ReasoningarXiv:2006.09265Wenda Li, Lei Yu, Yuhuai Wu, et al.2020 · 43 citations
9. LIME: Learning Inductive Bias for Primitives of Mathematical ReasoningarXiv:2101.06223Yuhuai Wu, Markus Rabe, Wenda Li, et al.2021 · 39 citations
10. Graph Representations for Higher-Order Logic and Theorem ProvingProceedings of the AAAI Conference on Artificial IntelligenceAditya Paliwal, Sarah Loos, Markus Rabe, et al.2019 · 33 citations
11. Teaching Temporal Logics to Neural NetworksarXiv:2003.04218Christopher Hahn, Frederik Schmitt, Jens U. Kreber, et al.2020 · 24 citations
12. Learning advanced mathematical computations from examplesarXiv:2006.06462François Charton, Amaury Hayat, Guillaume Lample2020 · 18 citations
13. Adversarial Analysis of Natural Language Inference SystemsarXiv:1912.03441Tiffany Chien, Jugal Kalita2019 · 15 citations
14. Guiding Inferences in Connection Tableau by Recurrent Neural NetworksLecture notes in computer scienceBartosz Piotrowski, Josef Urban2019 · 15 citations
15. Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement LearningarXiv:1811.00796Mitsuru Kusumoto, Keisuke Yahata, Masahiro Sakai2018 · 15 citations
16. Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement LearningarXiv:1807.08058Gil Lederman, Markus N. Rabe, Edward A. Lee, et al.2018 · 12 citations
17. NL2Logic: AST-Guided Translation of Natural Language into First-Order Logic with Large Language ModelsFindings of the Association for Computational LinguisticsRizky Ramadhana Putra, Raihan Sultan Pasha Basuki, Yutong Cheng, et al.2026 · 3 citations

17 more papers of our library cite it; they have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/papers/evans-2018-can-neural-networks-understand-logical/cited-by/