Knowledge and Reasoning in Program Synthesis

By Zohar Manna. 1974

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Prompting & Reasoning

Citations in the corpus

Program Synthesis with Large Language Models (2021, background): “Program synthesis is a longstanding goal of artificial intelligence research [Manna and Waldinger, 1971, Waldinger et al., 1969, Summers, 1977, Shaw et al., 1975, Pnueli and Rosner, 1989, Manna and Waldinger, 1975], dating as far back as the 1940s and 50s [Copeland, 2012, Backus et al., 1957].”
RobustFill: Neural Program Learning under Noisy I/O (2017, background): “Waldinger & Lee (1969); Manna & Waldinger (1975).”
Improving Neural Program Synthesis with Inferred Execution Traces (2018, background): “It is a problem that has been studied since the earliest days of artificial intelligence [Waldinger and Lee, 1969, Manna and Waldinger, 1975].”
NAPS: Natural Program Synthesis Dataset (2018, background): “It is a problem that has been studied since the earliest days of artiﬁcial intelligence (Waldinger & Lee, 1969; Manna & Waldinger, 1975).”
Program Synthesis (2017, background): “Early approaches to program synthesis focused on deductive and transformational methods [85, 86].”
Learning to Represent Programs with Property Signatures (2020, background): “Program synthesis is a longstanding goal of computer science research (Manna & Waldinger, 1971; Waldinger et al., 1969; Summers, 1977; Shaw; Pnueli & Rosner, 1989; Manna & Waldinger, 1975), arguably dating to the 1940s and 50s (Copeland, 2012; Backus et al., 1957).”
IReEn: Iterative Reverse-Engineering of Black-Box Functions via Neural Program Synthesis (2020, methodology): “Program synthesis is a classic task which has been studied since the early days of Artiﬁcial Intelligence (Waldinger and Lee, 1969; Manna and Waldinger, 1975).”