Generating Diverse Hypotheses for Inductive Reasoning

On the measure of intelligence

Original

François Chollet. 2019 · 1911

Earlier work this paper cites.

Gödel, Escher, Bach: An Eternal Golden Braid

Douglas Hofstadter. 1979 · 1979

Earlier work this paper cites.

Core knowledge

Elizabeth S Spelke and Katherine D Kinzler. 2007 · 2007

Earlier work this paper cites.

Driving semantic parsing from the world’s response

James Clarke, Dan Goldwasser, Ming-Wei Chang, and Dan Roth. 2010 · 2010

Earlier work this paper cites.

Automating string processing in spreadsheets using input-output examples

Sumit Gulwani. 2011 · 2011

Earlier work this paper cites.

A machine learning framework for programming by example

Aditya Menon, Omer Tamuz, Sumit Gulwani, Butler Lampson, and Adam Kalai. 2013 · 2013

Earlier work this paper cites.

Human-level concept learning through probabilistic program induction

Brenden M. Lake, Ruslan Salakhutdinov, and Joshua B. Tenenbaum. 2015 · 2015

Earlier work this paper cites.

Execution-guided neural program synthesis

Xinyun Chen, Chang Liu, and Dawn Song. 2019 · 2019

Earlier work this paper cites.

Playgol: Learning programs through play

Andrew Cropper. 2019 · 2019

Earlier work this paper cites.

The curious case of neural text degeneration

Ari Holtzman, Jan Buys, Li Du, Maxwell Forbes, and Yejin Choi. 2020 · 2020

Earlier work this paper cites.

Learning to represent programs with property signatures

Augustus Odena and Charles Sutton. 2020 · 2020

Earlier work this paper cites.

The child as hacker : building more human-like models of learning

Joshua Stewart Rule. 2020 · 2020

Earlier work this paper cites.

Program synthesis with large language models

Original

Jacob Austin, Augustus Odena, Maxwell Nye, Maarten Bosma, Henryk Michalewski, David Dohan, Ellen Jiang, Carrie Cai, Michael Terry, Quoc Le, and Charles Sutton. 2021 · 2021

Earlier work this paper cites.

Spreadsheetcoder: Formula prediction from semi-structured context

Xinyun Chen, Petros Maniatis, Rishabh Singh, Charles Sutton, Hanjun Dai, Max Lin, and Denny Zhou. 2021 · 2021

Earlier work this paper 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 · 2021

Earlier work this paper cites.

Abstraction and analogy-making in artificial intelligence

Melanie Mitchell. 2021 · 2021

Earlier work this paper cites.

{BUSTLE}: Bottom-up program synthesis through learning-guided exploration

Augustus Odena, Kensen Shi, David Bieber, Rishabh Singh, Charles Sutton, and Hanjun Dai. 2021 · 2021

Earlier work this paper cites.

Playgrounds for abstraction and reasoning

Subin Kim, Prin Phunyaphibarn, Donghyun Ahn, and Sundong Kim. 2022 · 2022

Cited alongside, same era.

Crossbeam: Learning to search in bottom-up program synthesis

Kensen Shi, Hanjun Dai, Kevin Ellis, and Charles Sutton. 2022 · 2022

Cited alongside, same era.

Chain of thought prompting elicits reasoning in large language models

Jason Wei, Xuezhi Wang, Dale Schuurmans, Maarten Bosma, brian ichter, Fei Xia, Ed H. Chi, Quoc V Le, and Denny Zhou. 2022 · 2022

Cited alongside, same era.

Flashfill++: Scaling programming by example by cutting to the chase

José Cambronero, Sumit Gulwani, Vu Le, Daniel Perelman, Arjun Radhakrishna, Clint Simon, and Ashish Tiwari. 2023 · 2023

Cited alongside, same era.

Human-like few-shot learning via bayesian reasoning over natural language

Kevin Ellis. 2023 · 2023

Cited alongside, same era.

Learning to reason and memorize with self-notes

Large language models cannot self-correct reasoning yet

Jie Huang, Xinyun Chen, Swaroop Mishra, Huaixiu Steven Zheng, Adams Wei Yu, Xinying Song, and Denny Zhou. 2024 · 2024

Closest in time.

Can LLMs recognize toxicity? a structured investigation framework and toxicity metric

Hyukhun Koh, Dohyung Kim, Minwoo Lee, and Kyomin Jung. 2024 · 2024

Closest in time.

Training language models to self-correct via reinforcement learning

Original

Aviral Kumar, Vincent Zhuang, Rishabh Agarwal, Yi Su, John D Co-Reyes, Avi Singh, Kate Baumli, Shariq Iqbal, Colton Bishop, Rebecca Roelofs, Lei M Zhang, Kay McKinney, Disha Shrivastava, Cosmin Paduraru, George Tucker, Doina Precup, Feryal Behbahani, and Aleksandra Faust. 2024 · 2024

Closest in time.

Is programming by example solved by llms?

Original

Wen-Ding Li and Kevin Ellis. 2024 · 2024

Closest in time.

Scattered forest search: Smarter code space exploration with llms

Original