13 papers · ranked by Valyu relevance
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat
Arrays are commonly used in a variety of software to store and process data in loops. Automatically proving safety properties of such programs that manipulate arrays is challenging. We present a novel verification technique, called full-program induction, for proving (a sub-class of) quantified as well as…
Ahmad Ayaz Amin
Many tasks can be easily solved using machine learning techniques. However, some tasks cannot readily be solved using statistical models, requiring a symbolic approach instead. Program induction is one of the ways that such tasks can be solved by means of capturing an interpretable and generalizable algorithm through…
Hanqi Zhou, Dávid Nagy, Charley M. Wu
Many aspects of human learning have been proposed as a process of constructing mental programs: from acquiring symbolic number representations to intuitive theories about the world. In parallel, there is a long-tradition of using information processing to model human cognition through Rate Distortion Theory (RDT). Yet…
Shraddha Surana, Ashwin Srinivasan
We are interested in the construction of software that can act as scientific assistants to domain specialists. It is expected that such assistants will be needed to accelerate the identification of ways to address complex problems requiring urgent solutions. In this paper, our focus is not on a specific scientific…
Janis Zenkner, Tobias Sesterhenn, Christian Bartelt
Abstraction and reasoning in program synthesis has seen significant progress through both inductive and transductive paradigms. Inductive approaches generate a program or latent function from input-output examples, which can then be applied to new inputs. Transductive approaches directly predict output values for given…
Edward McDaid, Sarah McDaid
The production of software remains a complex, specialist, labour intensive and expensive activity. This is despite many (mostly incremental) advances in programming language design and software development methods . In this context the idea of using of AI to simplify or even automate coding is appealing and much work…
Edward McDaid, Sarah McDaid
- Abstract: Inductive programming frequently relies on some form of search in order to identify candidate solutions. However, the size of the search space limits the use of inductive programming to the production of relatively small programs. If we could somehow correctly predict the subset of instructions required for…
Kobaladze, Zurabi, Arnania, Anna + 1 more
Program synthesis, the automated generation of executable code from a high-level specification, has been a central goal of computer science for over half a century. This thesis presents a comparative literature review of the primary paradigms that have defined and shaped this field. It charts the historical and…
Surana, Shraddha, Srinivasan, Ashwin + 2 more
The IPARC Challenge, inspired by ARC, provides controlled program synthesis tasks over synthetic images to evaluate automatic program construction, focusing on sequence, selection, and iteration. This set of 600 tasks has resisted automated solutions. This paper presents a structured inductive programming approach with…
Daniel Alabi, Atinuke Adegbile, Lekan Afuye, Philip Abel + 1 more
'Alida Monaco'] NaijaCoder is an organization that is dedicated to organizing a free, intensive summer program in Nigeria to teach the basics of algorithms and computer programming to high schoolers. However, the adoption of computer science curriculum has been especially challenging in countries in the global south…
Shuyuan Xu, Zelong Li, Kai Mei, Yongfeng Zhang
Programming, and Flow Programming of AI Agents Authors: ['Shuyuan Xu' 'Zelong Li' 'Kai Mei' 'Yongfeng Zhang'] Since their inception, programming languages have trended towards greater readability and lower barriers for programmers. Following this trend, natural language can be a promising type of programming language…
R. A. Wolf, Sho Araiba
—In this paper we provide an overview of the programmed instructions approach for the purpose of quantum software education. The article presents the programmed instructions method and recent successes in STEM fields before describing its operating mode. Elements tackled include the core components of programmed…
Clemente Rubio-Manzano, Jazna Meza, Rodolfo Fernandez-Santibanez, Christian Vidal‐Castro
Computer programming is undergoing a true transformation driven by powerful new tools for automatic source code generation based on large language models. This transformation is also manifesting in introductory programming courses at universities around the world, generating an in-depth debate about how programming…