Fetching the paper…
Reading the bibliography…
We introduce the Probabilistic Worldbuilding Model (PWM), a new fully-symbolic Bayesian model of semantic parsing and reasoning, as a first step in a research program toward more domain- and task-general NLU and AI.
Unifiedqa: Crossing format boundaries with a single QA system
Daniel Khashabi, Sewon Min, Tushar Khot, Ashish Sabharwal, Oyvind Tafjord, Peter Clark, and Hannaneh Hajishirzi. 2020 · 1907
Earlier work this paper cites.
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.
Untersuchungen über das logische schließen i
G. Gentzen. 1935 · 1935
Earlier work this paper cites.
A formulation of the simple theory of types
Alonzo Church. 1940 · 1940
Earlier work this paper cites.
Completeness in the theory of types
Leon Henkin. 1950 · 1950
Earlier work this paper cites.
An automatic method of solving discrete programming problems
A. H. Land and A. G. Doig. 1960 · 1960
Earlier work this paper cites.
Investigations into Logical Deduction
G. Gentzen. 1969 · 1969
Earlier work this paper cites.
Monte carlo sampling methods using markov chains and their applications
W. K. Hastings. 1970 · 1970
Earlier work this paper cites.
A Bayesian Analysis of Some Nonparametric Problems
Thomas S. Ferguson. 1973 · 1973
Earlier work this paper cites.
Computer science as empirical inquiry: Symbols and search
Allen Newell and Herbert A. Simon. 1976 · 1976
Earlier work this paper cites.
Introduction to Montague Semantics , 1st ed. 1981. edition
D. R. Dowty. 1981 · 1981
Earlier work this paper cites.
Exchangeability and related topics
David J. Aldous. 1985 · 1985
Earlier work this paper cites.
From micro-worlds to knowledge representation: Ai at an impasse
H. L. Dreyfus. 1985 · 1985
Earlier work this paper cites.
SOAR: an architecture for general intelligence
John E. Laird, Allen Newell, and Paul S. Rosenbloom. 1987 · 1987
Earlier work this paper cites.
Events in the Semantics of English
Terence Parsons. 1990 · 1990
Earlier work this paper cites.
Inductive logic programming
Stephen Muggleton. 1991 · 1991
Earlier work this paper cites.
A bayesian model of plan recognition
Eugene Charniak and Robert P. Goldman. 1993 · 1993
Earlier work this paper cites.
Interpretation as abduction
Jerry R. Hobbs, Mark E. Stickel, Douglas E. Appelt, and Paul A. Martin. 1993 · 1993
Earlier work this paper cites.
Stochastic logic programs
Stephen Muggleton. 1996 · 1996
Earlier work this paper cites.
Learning to parse database queries using inductive logic programming
John M. Zelle and Raymond J. Mooney. 1996 · 1996
Earlier work this paper cites.
Parameter estimation in stochastic logic programs
James Cussens. 2001 · 2001
Earlier work this paper cites.
Natural deduction
Frank Pfenning. 2004 · 2004
Earlier work this paper cites.
Monte Carlo Statistical Methods
Christian P. Robert and George Casella. 2004 · 2004
Cited alongside, same era.
Language models are few-shot learners
Tom B. Brown, Benjamin Mann, Nick Ryder, Melanie Subbiah, Jared Kaplan, Prafulla Dhariwal, Arvind Neelakantan, Pranav Shyam, Girish Sastry, Amanda Askell, Sandhini Agarwal, Ariel Herbert-Voss, Gretchen Krueger, Tom Henighan, Rewon Child, Aditya Ramesh, Daniel M. Ziegler, Jeffrey Wu, Clemens Winter, Christopher Hesse, Mark Chen, Eric Sigler, Mateusz Litwin, Scott Gray, Benjamin Chess, Jack Clark, Christopher Berner, Sam McCandlish, Alec Radford, Ilya Sutskever, and Dario Amodei. 2020 · 2005
Cited alongside, same era.
Generative modeling with failure in PRISM
Taisuke Sato, Yoshitaka Kameya, and Neng-Fa Zhou. 2005 · 2005
Cited alongside, same era.
Abduction in Natural Language Understanding , chapter 32. John Wiley & Sons, Ltd
Jerry R. Hobbs. 2006 · 2006
Cited alongside, same era.
Adaptor grammars: A framework for specifying compositional nonparametric bayesian models
Mark Johnson, Thomas L. Griffiths, and Sharon Goldwater. 2006 · 2006
Scalable rule learning in probabilistic knowledge bases
Arcchit Jain, Tal Friedman, Ondrej Kuzelka, Guy Van den Broeck, and Luc De Raedt. 2019 · 2019
Later among the works it cites.
Faster, higher, stronger: E 2.3
Stephan Schulz, Simon Cruanes, and Petar Vukmirovic. 2019 · 2019
Later among the works it cites.
Xlnet: Generalized autoregressive pretraining for language understanding
Zhilin Yang, Zihang Dai, Yiming Yang, Jaime G. Carbonell, Ruslan Salakhutdinov, and Quoc V. Le. 2019 · 2019
Later among the works it cites.
Climbing towards NLU: on meaning, form, and understanding in the age of data
Emily M. Bender and Alexander Koller. 2020 · 2020
Later among the works it cites.
Abductive commonsense reasoning
Chandra Bhagavatula, Ronan Le Bras, Chaitanya Malaviya, Keisuke Sakaguchi, Ari Holtzman, Hannah Rashkin, Doug Downey, Wen-tau Yih, and Yejin Choi. 2020 · 2020
Later among the works it cites.
Transformers as soft reasoners over language
Peter Clark, Oyvind Tafjord, and Kyle Richardson. 2020 · 2020
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Type-based MCMC
Percy Liang, Michael I. Jordan, and Dan Klein. 2010 · 2010
Cited alongside, same era.
Artificial Intelligence - A Modern Approach, Third International Edition
Stuart J. Russell and Peter Norvig. 2010 · 2010
Cited alongside, same era.
Towards distributed MCMC inference in probabilistic knowledge bases
Mathias Niepert, Christian Meilicke, and Heiner Stuckenschmidt. 2012 · 2012
Cited alongside, same era.
First-order theorem proving and vampire
Laura Kovács and Andrei Voronkov. 2013 · 2013
Cited alongside, same era.
Structure learning of probabilistic logic programs by searching the clause space
Elena Bellodi and Fabrizio Riguzzi. 2015 · 2015
Cited alongside, same era.
Open-domain semantic parsing with boxer
Johan Bos. 2015 · 2015
Cited alongside, same era.
Probabilistic type theory and natural language semantics
Robin Cooper, Simon Dobnik, Shalom Lappin, and Staffan Larsson. 2015 · 2015
Cited alongside, same era.
Later among the works it cites.
To test machine comprehension, start by defining comprehension
Jesse Dunietz, Gregory Burnham, Akash Bharadwaj, Owen Rambow, Jennifer Chu-Carroll, and David A. Ferrucci. 2020 · 2020
Later among the works it cites.
40 years of cognitive architectures: core cognitive abilities and practical applications
Iuliia Kotseruba and John K. Tsotsos. 2020 · 2020
Later among the works it cites.
How can we accelerate progress towards human-like linguistic generalization?
Tal Linzen. 2020 · 2020
Later among the works it cites.
SUMO: unbiased estimation of log marginal probability for latent variable models
Yucen Luo, Alex Beatson, Mohammad Norouzi, Jun Zhu, David Duvenaud, Ryan P. Adams, and Ricky T. Q. Chen. 2020 · 2020
Later among the works it cites.
Exploring the limits of transfer learning with a unified text-to-text transformer
Colin Raffel, Noam Shazeer, Adam Roberts, Katherine Lee, Sharan Narang, Michael Matena, Yanqi Zhou, Wei Li, and Peter J. Liu. 2020 · 2020
Later among the works it cites.
Query2box: Reasoning over knowledge graphs in vector space using box embeddings
Hongyu Ren, Weihua Hu, and Jure Leskovec. 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.
Faithful embeddings for knowledge base queries
Haitian Sun, Andrew O. Arnold, Tania Bedrax-Weiss, Fernando Pereira, and William W. Cohen. 2020 · 2020
Later among the works it cites.
Language (re)modelling: Towards embodied language understanding
Ronen Tamari, Chen Shani, Tom Hope, Miriam R. L. Petruck, Omri Abend, and Dafna Shahaf. 2020 · 2020
Later among the works it cites.
Wiktionary data dumps
Wikimedia Foundation. 2020 · 2020
Later among the works it cites.
CLEVRER: collision events for video representation and reasoning
Kexin Yi, Chuang Gan, Yunzhu Li, Pushmeet Kohli, Jiajun Wu, Antonio Torralba, and Joshua B. Tenenbaum. 2020 · 2020
Later among the works it cites.
Complex query answering with neural link predictors
Erik Arakelyan, Daniel Daza, Pasquale Minervini, and Michael Cochez. 2021 · 2021
Closest in time.
Learning programs by learning from failures
Andrew Cropper and Rolf Morel. 2021 · 2021
Closest in time.
Knowledge graphs
Aidan Hogan, Eva Blomqvist, Michael Cochez, Claudia d’Amato, Gerard de Melo, Claudio Gutiérrez, Sabrina Kirrane, José Emilio Labra Gayo, Roberto Navigli, Sebastian Neumaier, Axel-Cyrille Ngonga Ngomo, Axel Polleres, Sabbir M. Rashid, Anisa Rula, Lukas Schmelzeisen, Juan F. Sequeda, Steffen Staab, and Antoine Zimmermann. 2021 · 2021
Closest in time.
Proofwriter: Generating implications, proofs, and abductive statements over natural language
Oyvind Tafjord, Bhavana Dalvi, and Peter Clark. 2021 · 2021
Closest in time.