Fetching the paper…
Reading the bibliography…
A major bottleneck in search-based program synthesis is the exponentially growing search space which makes learning large programs intractable.
On the Measure of Intelligence
Chollet, F. (2019) · 1911
Earlier work this paper cites.
A heuristic program to solve geometric-analogy problems
Evans, T. G. (1964) · 1964
Earlier work this paper cites.
Structure-mapping: a theoretical framework for analogy
Gentner, D. (1983) · 1983
Earlier work this paper cites.
The topography of ability and learning correlations
Snow, R. E., Kyllonen, P. C., and Marshalek, B. (1984) · 1984
Earlier work this paper cites.
Learning disjunction of conjunctions
Valiant, L. G. (1985) · 1985
Earlier work this paper cites.
The structure-mapping engine: Algorithm and examples
Falkenhainer, B., Forbus, K. D., and Gentner, D. (1989) · 1989
Earlier work this paper cites.
Analogy-making as perception: A computer model
Mitchell, M. (1993) · 1993
Earlier work this paper cites.
Analogy as the core of cognition
Hofstadter, D. (2001) · 2001
Earlier work this paper cites.
Automating string processing in spreadsheets using input-output examples
Gulwani, S. (2011) · 2011
Earlier work this paper cites.
A century of gestalt psychology in visual perception: I. Perceptual grouping and figure-ground organization
Wagemans, J., Elder, J., Kubovy, M., Palmer, S., Peterson, M., Singh, M., and Heydt, R. (2012) · 2012
Earlier work this paper cites.
k-Pattern set mining under constraints
Guns, T., Nijssen, S., and De Raedt, L. (2013) · 2013
Earlier work this paper cites.
Automatic invention of functional abstractions
Henderson, R., and Muggleton, S. (2014) · 2014
Earlier work this paper cites.
Bias reformulation for one-shot function induction
Lin, D., Dechter, E., Ellis, K., Tenenbaum, J., and Muggleton, S. (2014) · 2014
Earlier work this paper cites.
Synthesis through unification
Alur, R., Černý, P., and Radhakrishna, A. (2015) · 2015
Cited alongside, same era.
Unsupervised learning by program synthesis
Ellis, K., Solar-Lezama, A., and Tenenbaum, J. (2015) · 2015
Cited alongside, same era.
Meta-interpretive learning of higher-order dyadic datalog: Predicate invention revisited
Muggleton, S. H., Lin, D., and Tamaddoni-Nezhad, A. (2015) · 2015
Cited alongside, same era.
Metagol system
Cropper, A., and Muggleton, S. H. (2016) · 2016
Cited alongside, same era.
Synthesizing piece-wise functions by learning classifiers
Neider, D., Saha, S., and Madhusudan, P. (2016) · 2016
Cited alongside, same era.
Scaling enumerative program synthesis via divide and conquer
Alur, R., Radhakrishna, A., and Udupa, A. (2017) · 2017
Cited alongside, same era.
Learning higher-order programs through predicate invention
Cropper, A., Morel, R., and Muggleton, S. H. (2020) · 2020
Later among the works it cites.
2nd place solution ARC Kaggle competition
de Miquel, A., Corominas, R. G., and Ariyasu, Y. (2020) · 2020
Later among the works it cites.
1st place solution ARC Kaggle competition
Wind, J. S. (2020) · 2020
Later among the works it cites.
Knowledge refactoring for inductive program synthesis
Dumančić, S., Guns, T., and Cropper, A. (2021) · 2021
Later among the works it cites.
Fast and flexible: Human program induction in abstract reasoning tasks
Johnson, A., Vong, W. K., Lake, B. M., and Gureckis, T. M. (2021) · 2021
Later among the works it cites.
Abstraction and analogy-making in artificial intelligence
Mitchell, M. (2021) · 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…
Programming by examples: PL meets ML
Gulwani, S., and Jain, P. (2017) · 2017
Cited alongside, same era.
Modeling visual problem solving as analogical reasoning
Lovett, A., and Forbus, K. D. (2017) · 2017
Cited alongside, same era.
Automated data extraction using predictive program synthesis
Raza, M., and Gulwani, S. (2017) · 2017
Cited alongside, same era.
Synthesizing highly expressive SQL queries from input-output examples
Wang, C., Cheung, A., and Bodik, R. (2017) · 2017
Cited alongside, same era.
Search-based program synthesis
Alur, R., Singh, R., Fisman, D., and Solar-Lezama, A. (2018) · 2018
Cited alongside, same era.
Write, execute, assess: Program synthesis with a REPL
Ellis, K., Nye, M. I., Pu, Y., Sosa, F., Tenenbaum, J., and Solar-Lezama, A. (2019) · 2019
Cited alongside, same era.
Representing partial programs with blended abstract semantics
Nye, M. I., Pu, Y., Bowers, M., Andreas, J., Tenenbaum, J. B., and Solar-Lezama, A. (2021) · 2021
Later among the works it cites.
Learning logic programs through divide, constrain, and conquer
Cropper, A. (2022) · 2022
Later among the works it cites.
Inductive Logic Programming At 30: A New Introduction
Cropper, A., and Dumančić, S. (2022) · 2022
Later among the works it cites.
Microsoft program synthesis using examples (PROSE)
Sumit Gulwani (2023) · 2023
Closest in time.
Graphs, Constraints, and Search for the Abstraction and Reasoning Corpus
Xu, Y., Khalil, E. B., and Sanner, S. (2022) · 2023
Closest in time.
Learning large logic programs by going beyond entailment
Cropper, A., and Dumančić, S. (2020) · 2079
Closest in time.