Fetching the paper…
Reading the bibliography…
Automated Theorem Proving (ATP) deals with the development of computer programs being able to show that some conjectures (queries) are a logical consequence of a set of axioms (facts and rules).
Roberta: A robustly optimized BERT pretraining approach
Yinhan Liu, Myle Ott, Naman Goyal, Jingfei Du, Mandar Joshi, Danqi Chen, Omer Levy, Mike Lewis, Luke Zettlemoyer, and Veselin Stoyanov. 2019 · 1907
Earlier work this paper cites.
Application of theorem proving to problem solving
Cordell Green. 1981 · 1981
Earlier work this paper cites.
Automated theorem proving: Mapping logic into ai
D W Loveland. 1986 · 1986
Earlier work this paper cites.
Unification theory
Franz Baader and Wayne Snyder. 2001 · 2001
Earlier work this paper cites.
TSTP Data-Exchange Formats for Automated Theorem Proving Tools , pages 201–215
Geoff Sutcliffe, Jürgen Zimmer, and Stephan Schulz. 2004 · 2004
Earlier work this paper cites.
Natural logic for textual inference
Bill MacCartney and Christopher D. Manning. 2007 · 2007
Earlier work this paper cites.
An application of automated reasoning in natural language question answering
Ulrich Furbach, Ingo Glöckner, and Björn Pelzer. 2010 · 2010
Earlier work this paper cites.
Artificial intelligence: a modern approach , 3 edition
Stuart Russell and Peter Norvig. 2010 · 2010
Earlier work this paper cites.
Unification neural networks: unification by error-correction learning
Ekaterina Komendantskaya. 2011 · 2011
Earlier work this paper cites.
Proofwriter: Generating implications, proofs, and abductive statements over natural language
Oyvind Tafjord, Bhavana Dalvi Mishra, and Peter Clark. 2020 · 2012
Earlier work this paper cites.
Reasoning with neural tensor networks for knowledge base completion
Richard Socher, Danqi Chen, Christopher D. Manning, and Andrew Y. Ng. 2013 · 2013
Earlier work this paper cites.
Towards a Model Theory for Distributed Representations
Ramanathan Guha. 2014 · 2014
Cited alongside, same era.
Teaching machines to read and comprehend
Karl Moritz Hermann, Tomás Kociský, Edward Grefenstette, Lasse Espeholt, Will Kay, Mustafa Suleyman, and Phil Blunsom. 2015 · 2015
Cited alongside, same era.
Adam: A method for stochastic optimization
Diederik P. Kingma and Jimmy Ba. 2015 · 2015
Cited alongside, same era.
The fundamental nature of the log loss function
Vladimir Vovk. 2015 · 2015
Cited alongside, same era.
Logic tensor networks: Deep learning and logical reasoning from data and knowledge
Luciano Serafini and Artur S. d’Avila Garcez. 2016 · 2016
Cited alongside, same era.
Bert: Pre-training of deep bidirectional transformers for language understanding
Jacob Devlin, Ming-Wei Chang, Kenton Lee, and Kristina Toutanova. 2019a · 2019
Later among the works it cites.
BERT: Pre-training of deep bidirectional transformers for language understanding
Jacob Devlin, Ming-Wei Chang, Kenton Lee, and Kristina Toutanova. 2019b · 2019
Later among the works it cites.
Neural logic machines
Honghua Dong, Jiayuan Mao, Tian Lin, Chong Wang, Lihong Li, and Denny Zhou. 2019 · 2019
Later among the works it cites.
A survey on theorem provers in formal methods
M. Saqib Nawaz, Moin Malik, Yi Li, Meng Sun, and M. Ikram Ullah Lali. 2019 · 2019
Later among the works it cites.
Nlprolog: Reasoning with weak unification for question answering in natural language
Leon Weber, Pasquale Minervini, Jannes Münchmeyer, Ulf Leser, and Tim Rocktäschel. 2019 · 2019
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Deep learning for ontology reasoning
Patrick Hohenecker and Thomas Lukasiewicz. 2017 · 2017
Cited alongside, same era.
End-to-end differentiable proving
Tim Rocktäschel and Sebastian Riedel. 2017 · 2017
Cited alongside, same era.
Attention is all you need
Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N. Gomez, Lukasz Kaiser, and Illia Polosukhin. 2017 · 2017
Cited alongside, same era.
Compositional attention networks for machine reasoning
Drew A. Hudson and Christopher D. Manning. 2018 · 2018
Cited alongside, same era.
SWAG: A large-scale adversarial dataset for grounded commonsense inference
Rowan Zellers, Yonatan Bisk, Roy Schwartz, and Yejin Choi. 2018 · 2018
Cited alongside, same era.
Transformers as soft reasoners over language
Peter Clark, Oyvind Tafjord, and Kyle Richardson. 2020 · 2020
Later among the works it cites.
Differentiable reasoning over a virtual knowledge base
Bhuwan Dhingra, Manzil Zaheer, Vidhisha Balachandran, Graham Neubig, Ruslan Salakhutdinov, and William W. Cohen. 2020 · 2020
Later among the works it cites.
Differentiable reasoning on large knowledge bases and natural language
Pasquale Minervini, Matko Bosnjak, Tim Rocktäschel, Sebastian Riedel, and Edward Grefenstette. 2020 · 2020
Later among the works it cites.
PRover: Proof generation for interpretable reasoning over rules
Swarnadeep Saha, Sayan Ghosh, Shashank Srivastava, and Mohit Bansal. 2020 · 2020
Later among the works it cites.
Exploring Neural Models for Parsing Natural Language into First-Order Logic
Hrituraj Singh, Milan Aggrawal, and Balaji Krishnamurthy. 2020 · 2020
Later among the works it cites.