Fetching the paper…
Reading the bibliography…
Many structured prediction and reasoning tasks can be framed as program synthesis problems, where the goal is to generate a program in a domain-specific language (DSL) that transforms input data into the desired output.
On the measure of intelligence
François Chollet. 2019 · 1911
Earlier work this paper cites.
Recursive functions of symbolic expressions and their computation by machine, part i
John McCarthy. 1960 · 1960
Earlier work this paper cites.
Dreamcoder: Growing generalizable, interpretable knowledge with wake-sleep bayesian program learning
Kevin Ellis, Catherine Wong, Maxwell Nye, Mathias Sable-Meyer, Luc Cary, Lucas Morales, Luke Hewitt, Armando Solar-Lezama, and Joshua B Tenenbaum. 2020 · 2006
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. 2020 · 2007
Earlier work this paper cites.
Automating string processing in spreadsheets using input-output examples
Sumit Gulwani. 2011 · 2011
Earlier work this paper cites.
Recursive program synthesis
Aws Albarghouthi, Sumit Gulwani, and Zachary Kincaid. 2013 · 2013
Earlier work this paper cites.
Syntax-guided synthesis
Rajeev Alur, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. 2013 · 2013
Earlier work this paper cites.
Transit: specifying protocols with concolic snippets
Abhishek Udupa, Arun Raghavan, Jyotirmoy V Deshmukh, Sela Mador-Haim, Milo MK Martin, and Rajeev Alur. 2013 · 2013
Earlier work this paper cites.
Type-and-example-directed program synthesis
Peter-Michael Osera and Steve Zdancewic. 2015 · 2015
Earlier work this paper cites.
Deepcoder: Learning to write programs
Matej Balog, Alexander L Gaunt, Marc Brockschmidt, Sebastian Nowozin, and Daniel Tarlow. 2016 · 2016
Earlier work this paper cites.
Programming by examples (and its applications in data wrangling)
Sumit Gulwani. 2016 · 2016
Earlier work this paper cites.
Sygus-comp 2017: Results and analysis
Rajeev Alur, Dana Fisman, Rishabh Singh, and Armando Solar-Lezama. 2017a · 2017
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 · 2017
Earlier work this paper cites.
Component-based synthesis for complex apis
Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, and Thomas W. Reps. 2017 · 2017
Cited alongside, same era.
Search-based program synthesis
Rajeev Alur, Rishabh Singh, Dana Fisman, and Armando Solar-Lezama. 2018 · 2018
Cited alongside, same era.
Program synthesis using conflict-driven learning
Yu Feng, Ruben Martins, Osbert Bastani, and Isil Dillig. 2018 · 2018
Cited alongside, same era.
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 · 2018
Cited alongside, same era.
Accelerating search-based program synthesis using learned probabilistic models
Woosuk Lee, Kihong Heo, Rajeev Alur, and Mayur Naik. 2018 · 2018
Cited alongside, same era.
cvc 4 sy: smart and fast term enumeration for syntax-guided synthesis
Martin Josifoski, Marija Sakota, Maxime Peyrard, and Robert West. 2023 · 2023
Later among the works it cites.
R Thomas McCoy, Shunyu Yao, Dan Friedman, Matthew Hardy, and Thomas L Griffiths. 2023 · 2023
Later among the works it cites.
John Chong Min Tan and Mehul Motani. 2023 · 2023
Later among the works it cites.
Hypothesis search: Inductive reasoning with language models
Ruocheng Wang, Eric Zelikman, Gabriel Poesia, Yewen Pu, Nick Haber, and Noah D Goodman. 2023 · 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…
Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark Barrett, and Cesare Tinelli. 2019 · 2019
Cited alongside, same era.
Dreaming with ARC
Andrzej Banburski, Anshula Gandhi, Simon Alford, Sylee Dandekar, Sang Chin, and tomaso a poggio. 2020 · 2020
Cited alongside, same era.
Just-in-time learning for bottom-up enumerative synthesis
Shraddha Barke, Hila Peleg, and Nadia Polikarpova. 2020 · 2020
Cited alongside, same era.
Solving abstract reasoning tasks with grammatical evolution
Raphael Fischer, Matthias Jakobs, Sascha Mücke, and Katharina Morik. 2020 · 2020
Cited alongside, same era.
Neural-guided, bidirectional program search for abstraction and reasoning
Simon Alford, Anshula Gandhi, Akshay Rangamani, Andrzej Banburski, Tony Wang, Sylee Dandekar, John Chin, Tomaso Poggio, and Peter Chin. 2022 · 2021
Cited alongside, same era.
Constituency parsing using llms
Xuefeng Bai, Jialong Wu, Yulong Chen, Zhongqing Wang, and Yue Zhang. 2023 · 2023
Cited alongside, same era.
The reversal curse: Llms trained on" a is b" fail to learn" b is a"
Lukas Berglund, Meg Tong, Max Kaufmann, Mikita Balesni, Asa Cooper Stickland, Tomasz Korbak, and Owain Evans. 2023 · 2023
Cited alongside, same era.
Tractable control for autoregressive language generation
Honghua Zhang, Meihua Dang, Nanyun Peng, and Guy Van den Broeck. 2023 · 2023
Later among the works it cites.
Arc kaggle competition leaderboard
2020 · 2024
Closest in time.
Deepseek-coder: When the large language model meets programming–the rise of code intelligence
Daya Guo, Qihao Zhu, Dejian Yang, Zhenda Xie, Kai Dong, Wentao Zhang, Guanting Chen, Xiao Bi, Y Wu, YK Li, et al. 2024 · 2024
Closest in time.
Seungpil Lee, Woochang Sim, Donghyeon Shin, Sanha Hwang, Wongyu Seo, Jiwon Park, Seokki Lee, Sejin Kim, and Sundong Kim. 2024 · 2024
Closest in time.
Generalized planning for the abstraction and reasoning corpus
Chao Lei, Nir Lipovetzky, and Krista A. Ehinger. 2024 · 2024
Closest in time.
Hello gpt-4.0
OpenAI. 2024 · 2024
Closest in time.
Improving llm code generation with grammar augmentation
Shubham Ugare, Tarun Suresh, Hangoo Kang, Sasa Misailovic, and Gagandeep Singh. 2024 · 2024
Closest in time.
Grounding data science code generation with input-output specifications
Yeming Wen, Pengcheng Yin, Kensen Shi, Henryk Michalewski, Swarat Chaudhuri, and Alex Polozov. 2024 · 2024
Closest in time.
Arc kaggle competition, 1st place
Johan Sokrates Wind. 2020 · 2024
Closest in time.