Fetching the paper…
Reading the bibliography…
The current state-of-the-art in artificial intelligence is impressive, especially in terms of mastery of language, but not so much in terms of mathematical reasoning.
The semantic conception of truth and the foundations of semantics
Alfred Tarski · 1943
Earlier work this paper cites.
The magical number seven, plus or minus two: Some limits on our capacity for processing information
George A Miller · 1956
Earlier work this paper cites.
Realization of a geometry theorem-proving machine
Herbert Gelernter · 1959
Earlier work this paper cites.
Truth and meaning
Donald Davidson · 1967
Earlier work this paper cites.
The formulae-as-types notion of construction
William A. Howard · 1969
Earlier work this paper cites.
Estimation of Dependencies Based on Empirical Data
Vladimir N Vapnik · 1982
Earlier work this paper cites.
The use of machines to assist in rigorous proof
Robin Milner and Richard S. Bird · 1984
Earlier work this paper cites.
Using fast weights to deblur old memories
Geoffrey E Hinton and David C Plaut · 1987
Earlier work this paper cites.
Coding and complexity
Jorma Rissanen · 1990
Earlier work this paper cites.
Learning complex, extended sequences using the principle of history compression
Jürgen Schmidhuber · 1992
Earlier work this paper cites.
Improving generalization with active learning
David Cohn, Les Atlas, and Richard Ladner · 1994
Earlier work this paper cites.
A neural probabilistic language model
Yoshua Bengio, Réjean Ducharme, and Pascal Vincent · 2001
Earlier work this paper cites.
Information theory, inference and learning algorithms
David JC MacKay · 2003
Earlier work this paper cites.
Scientific reasoning: the Bayesian approach
Colin Howson and Peter Urbach · 2006
Earlier work this paper cites.
Banach Spaces and their Applications in Analysis , 2007. De Gruyter
Beata Randrianantoanina and Narcisse Randrianantoanina, editors · 2007
Earlier work this paper cites.
Curriculum learning
Yoshua Bengio, Jérôme Louradour, Ronan Collobert, and Jason Weston · 2009
Earlier work this paper cites.
Active learning literature survey
Burr Settles · 2009
Cited alongside, same era.
Large-scale machine learning with stochastic gradient descent
Léon Bottou · 2010
Cited alongside, same era.
Automated proof compression by invention of new definitions
Jiří Vyskočil, David Stanovský, and Josef Urban · 2010
Cited alongside, same era.
Rates of convergence in active learning
Steve Hanneke · 2011
Cited alongside, same era.
Thinking, Fast and Slow
Daniel Kahneman · 2011
Cited alongside, same era.
Interactive theorem proving and program development: Coq’Art: the calculus of inductive constructions
Yves Bertot and Pierre Castéran · 2013
Cited alongside, same era.
Deep learning for ai
Yoshua Bengio, Yann Lecun, and Geoffrey Hinton · 2021
Later among the works it cites.
A deep reinforcement learning approach to first-order logic theorem proving
Maxwell Crouse, Ibrahim Abdelaziz, Bassem Makni, Spencer Whitehead, Cristina Cornelio, Pavan Kapanipathi, Kavitha Srinivas, Veronika Thost, Michael Witbrock, and Achille Fokoue · 2021
Later among the works it cites.
DreamCoder: Bootstrapping inductive program synthesis with wake-sleep library learning
Kevin Ellis, Catherine Wong, Maxwell Nye, Mathias Sablé-Meyer, Lucas Morales, Luke Hewitt, Luc Cary, Armando Solar-Lezama, and Joshua B. Tenenbaum · 2021
Later among the works it cites.
Aleatoric and epistemic uncertainty in machine learning: An introduction to concepts and methods
Eyke Hüllermeier and Willem Waegeman · 2021
Later among the works it cites.
Landmark-guided subgoal generation in hierarchical reinforcement learning
Junsu Kim, Younggyo Seo, and Jinwoo Shin · 2021
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Dzmitry Bahdanau, Kyunghyun Cho, and Yoshua Bengio · 2014
Cited alongside, same era.
Deep learning
Yann LeCun, Yoshua Bengio, and Geoffrey Hinton · 2015
Cited alongside, same era.
Propositions as types
Philip Wadler · 2015
Cited alongside, same era.
Yoshua Bengio · 2017
Cited alongside, same era.
Mastering the game of go without human knowledge
David Silver, Julian Schrittwieser, Karen Simonyan, Ioannis Antonoglou, Aja Huang, Arthur Guez, Thomas Hubert, Lucas Baker, Matthew Lai, Adrian Bolton, et al · 2017
Cited alongside, same era.
Attention is all you need
Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N Gomez, Łukasz Kaiser, and Illia Polosukhin · 2017
Cited alongside, same era.
The Lean 4 theorem prover and programming language
Leonardo de Moura and Sebastian Ullrich · 2021
Later among the works it cites.
MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics
Kunhao Zheng, Jesse Michael Han, and Stanislas Polu · 2021
Later among the works it cites.
Symbols and mental programs: a hypothesis about human singularity
Stanislas Dehaene, Fosca Al Roumi, Yair Lakretz, Samuel Planton, and Mathias Sablé-Meyer · 2022
Later among the works it cites.
Inductive biases for deep learning of higher-level cognition
Anirudh Goyal and Yoshua Bengio · 2022
Later among the works it cites.
Proof artifact co-training for theorem proving with language models
Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward Ayers, and Stanislas Polu · 2022
Later among the works it cites.
ChatGPT release notes, 2022
OpenAI · 2022
Later among the works it cites.
GFlowNet foundations
Yoshua Bengio, Salem Lahlou, Tristan Deleu, Edward J Hu, Mo Tiwari, and Emmanuel Bengio · 2023
Later among the works it cites.
Sources of richness and ineffability for phenomenally conscious states
Xu Ji, Eric Elmoznino, George Deane, Axel Constant, Guillaume Dumas, Guillaume Lajoie, Jonathan Simon, and Yoshua Bengio · 2023
Later among the works it cites.
GPT-4 technical report, 2023
OpenAI · 2023
Later among the works it cites.
Formal mathematics statement curriculum learning
Stanislas Polu, Jesse Michael Han, Kunhao Zheng, Mantas Baksys, Igor Babuschkin, and Ilya Sutskever · 2023
Later among the works it cites.
LeanDojo: Theorem proving with retrieval-augmented language models
Kaiyu Yang, Aidan Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, and Anima Anandkumar · 2023
Later among the works it cites.