Fetching the paper…
Reading the bibliography…
Programming-by-Examples (PBE) aims to generate an algorithm from input-output examples.
A formal theory of inductive inference i
J Solomono Raymond · 1964
Earlier work this paper cites.
Friends of the turtle
David D. Thornburg · 1983
Earlier work this paper cites.
The" wake-sleep" algorithm for unsupervised neural networks
Geoffrey E Hinton, Peter Dayan, Brendan J Frey, and Radford M Neal · 1995
Earlier work this paper cites.
Your wish is my command: Programming by example
Henry Lieberman · 2001
Earlier work this paper cites.
Programming by demonstration using version space algebra
Tessa Lau, Steven A Wolfman, Pedro Domingos, and Daniel S Weld · 2003
Earlier work this paper cites.
Learning programs: a hierarchical bayesian approach
Percy Liang, Michael I. Jordan, and Dan Klein · 2010
Earlier work this paper cites.
Syntax-guided synthesis
Rajeev Alur, Rastislav Bodik, Garvit Juniwal, Milo MK Martin, Mukund Raghothaman, Sanjit A Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa · 2013
Earlier work this paper cites.
Flashmeta: A framework for inductive program synthesis
Oleksandr Polozov and Sumit Gulwani · 2015
Earlier work this paper cites.
Inductive programming meets the real world
Sumit Gulwani, José Hernández-Orallo, Emanuel Kitzelmann, Stephen H Muggleton, Ute Schmid, and Benjamin Zorn · 2015
Earlier work this paper cites.
Human-level concept learning through probabilistic program induction
Brenden M Lake, Ruslan Salakhutdinov, and Joshua B Tenenbaum · 2015
Earlier work this paper cites.
Synthesizing data structure transformations from input-output examples
John K. Feser, Swarat Chaudhuri, and Isil Dillig · 2015
Earlier work this paper cites.
Type-and-example-directed program synthesis
Peter-Michael Osera and Steve Zdancewic · 2015
Earlier work this paper cites.
Meta-interpretive learning of higher-order dyadic datalog: Predicate invention revisited
Stephen H. Muggleton, Dianhuan Lin, and Alireza Tamaddoni-Nezhad · 2015
Earlier work this paper cites.
Predicting a correct program in programming by example
Rishabh Singh and Sumit Gulwani · 2015
Earlier work this paper cites.
Robustfill: Neural program learning under noisy i/o
Jacob Devlin, Jonathan Uesato, Surya Bhupatiraju, Rishabh Singh, Abdel-rahman Mohamed, and Pushmeet Kohli · 2017
Earlier work this paper cites.
Deepcoder: Learning to write programs
Matej Balog, Alexander L. Gaunt, Marc Brockschmidt, Sebastian Nowozin, and Daniel Tarlow · 2017
Earlier work this paper cites.
Learning to learn programs from examples: Going beyond program structure
Kevin Ellis and Sumit Gulwani · 2017
Earlier work this paper cites.
Ultra-strong machine learning: comprehensibility of programs learned with ilp
Stephen H Muggleton, Ute Schmid, Christina Zeller, Alireza Tamaddoni-Nezhad, and Tarek Besold · 2018
Earlier work this paper cites.
Neural-guided deductive search for real-time program synthesis from examples
Ashwin Kalyan, Abhishek Mohta, Oleksandr Polozov, Dhruv Batra, Prateek Jain, and Sumit Gulwani · 2018
Earlier work this paper cites.
Execution-guided neural program synthesis
Xinyun Chen, Chang Liu, and Dawn Song · 2018
Earlier work this paper cites.
On the measure of intelligence, 2019
François Chollet · 2019
Cited alongside, same era.
Program-Guided Image Manipulators
Jiayuan Mao, Xiuming Zhang, Yikai Li, William T. Freeman, Joshua B. Tenenbaum, and Jiajun Wu · 2019
Cited alongside, same era.
Write, Execute, Assess: Program Synthesis with a REPL
Kevin Ellis, Maxwell Nye, Yewen Pu, Felix Sosa, Joshua B. Tenenbaum, and Armando Solar-Lezama · 2019
Cited alongside, same era.
Synthesize, execute and debug: learning to repair for neural program synthesis
Kavi Gupta, Peter Ebert Christensen, Xinyun Chen, and Dawn Song · 2020
Cited alongside, same era.
Just-in-time learning for bottom-up enumerative synthesis
Shraddha Barke, Hila Peleg, and Nadia Polikarpova · 2020
Cited alongside, same era.
Crossbeam: Learning to search in bottom-up program synthesis
Kensen Shi, Hanjun Dai, Kevin Ellis, and Charles Sutton · 2021
Cited alongside, same era.
Is your code generated by chatGPT really correct? rigorous evaluation of large language models for code generation
Jiawei Liu, Chunqiu Steven Xia, Yuyao Wang, and LINGMING ZHANG · 2023
Later among the works it cites.
Human-like few-shot learning via bayesian reasoning over natural language
Kevin Ellis · 2023
Later among the works it cites.
Self-instruct: Aligning language models with self-generated instructions, 2023
Yizhong Wang, Yeganeh Kordi, Swaroop Mishra, Alisa Liu, Noah A. Smith, Daniel Khashabi, and Hannaneh Hajishirzi · 2023
Later among the works it cites.
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
Later among the works it cites.
Wizardcoder: Empowering code large language models with evol-instruct, 2023
Ziyang Luo, Can Xu, Pu Zhao, Qingfeng Sun, Xiubo Geng, Wenxiang Hu, Chongyang Tao, Jing Ma, Qingwei Lin, and Daxin Jiang · 2023
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Measuring coding challenge competence with apps
Dan Hendrycks, Steven Basart, Saurav Kadavath, Mantas Mazeika, Akul Arora, Ethan Guo, Collin Burns, Samir Puranik, Horace He, Dawn Song, and Jacob Steinhardt · 2021
Cited alongside, same era.
Leveraging language to learn program abstractions and search heuristics
Catherine Wong, Kevin Ellis, Joshua B. Tenenbaum, and Jacob Andreas · 2021
Cited alongside, same era.
DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning , page 835–850
Kevin Ellis, Catherine Wong, Maxwell Nye, Mathias Sablé-Meyer, Lucas Morales, Luke Hewitt, Luc Cary, Armando Solar-Lezama, and Joshua B. Tenenbaum · 2021
Cited alongside, same era.
Competition-level code generation with alphacode
Yujia Li, David Choi, Junyoung Chung, Nate Kushman, Julian Schrittwieser, Rémi Leblond, Tom Eccles, James Keeling, Felix Gimeno, Agustin Dal Lago, et al · 2022
Cited alongside, same era.
Scaling neural program synthesis with distribution-based search
Nathanaël Fijalkow, Guillaume Lagarde, Théo Matricon, Kevin Ellis, Pierre Ohlmann, and Akarsh Nayan Potta · 2022
Cited alongside, same era.
CodeRL: Mastering code generation through pretrained models and deep reinforcement learning
Hung Le, Yue Wang, Akhilesh Deepak Gotmare, Silvio Savarese, and Steven Hoi · 2022
Cited alongside, same era.
Generating sequences by learning to self-correct
Sean Welleck, Ximing Lu, Peter West, Faeze Brahman, Tianxiao Shen, Daniel Khashabi, and Yejin Choi · 2023
Later among the works it cites.
Is self-repair a silver bullet for code generation?, 2023
Theo X. Olausson, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao, and Armando Solar-Lezama · 2023
Later among the works it cites.
Reflexion: an autonomous agent with dynamic memory and self-reflection
Noah Shinn, Beck Labash, and Ashwin Gopinath · 2023
Later among the works it cites.
Lever: Learning to verify language-to-code generation with execution
Ansong Ni, Srini Iyer, Dragomir Radev, Ves Stoyanov, Wen-tau Yih, Sida I Wang, and Xi Victoria Lin · 2023
Later among the works it cites.
Exedec: Execution decomposition for compositional generalization in neural program synthesis
Kensen Shi, Joey Hong, Yinlin Deng, Pengcheng Yin, Manzil Zaheer, and Charles Sutton · 2024
Closest in time.
Next: Teaching large language models to reason about code execution, 2024
Ansong Ni, Miltiadis Allamanis, Arman Cohan, Yinlin Deng, Kensen Shi, Charles Sutton, and Pengcheng Yin · 2024
Closest in time.
Symbolic metaprogram search improves learning efficiency and explains rule learning in humans
Joshua S. Rule, Steven T. Piantadosi, Andrew Cropper, Kevin Ellis, Maxwell Nye, and Joshua B. Tenenbaum · 2024
Closest in time.
Phenomenal yet puzzling: Testing inductive reasoning capabilities of language models with hypothesis refinement
Linlu Qiu, Liwei Jiang, Ximing Lu, Melanie Sclar, Valentina Pyatkin, Chandra Bhagavatula, Bailin Wang, Yoon Kim, Yejin Choi, Nouha Dziri, and Xiang Ren · 2024
Closest in time.
Deepseek-coder: When the large language model meets programming – the rise of code intelligence, 2024
Daya Guo, Qihao Zhu, Dejian Yang, Zhenda Xie, Kai Dong, Wentao Zhang, Guanting Chen, Xiao Bi, Y. Wu, Y. K. Li, Fuli Luo, Yingfei Xiong, and Wenfeng Liang · 2024
Closest in time.
Regal: Refactoring programs to discover generalizable abstractions
Elias Stengel-Eskin, Archiki Prasad, and Mohit Bansal · 2024
Closest in time.
Datadreamer: A tool for synthetic data generation and reproducible llm workflows, 2024
Ajay Patel, Colin Raffel, and Chris Callison-Burch · 2024
Closest in time.
Doing experiments and revising rules with natural language and probabilistic reasoning
Wasu Top Piriyakulkij and Kevin Ellis · 2024
Closest in time.
Self-refine: Iterative refinement with self-feedback
Aman Madaan, Niket Tandon, Prakhar Gupta, Skyler Hallinan, Luyu Gao, Sarah Wiegreffe, Uri Alon, Nouha Dziri, Shrimai Prabhumoye, Yiming Yang, et al · 2024
Closest in time.
Code repair with llms gives an exploration-exploitation tradeoff
Hao Tang, Keya Hu, Jin Peng Zhou, Sicheng Zhong, Wei-Long Zheng, Xujie Si, and Kevin Ellis · 2024
Closest in time.
https://huggingface.co/jinaai/jina-embeddings-v2-base-code
jinaai/jina-embeddings-v2-base-code · 2024
Closest in time.