Approaches and Applications of Inductive Programming (Dagstuhl Seminar 25491)

Abstract

The Dagstuhl Seminar "Approaches and Applications of Inductive Programming" (AAIP) took place in 2025 for the seventh time. The focus of this seminar series is methods and applications of learning computer programs from incomplete and informal specifications such as input/output examples or natural language prompts. Researchers come from different areas, mostly from machine learning and other branches of artificial intelligence research, cognitive scientists interested in human learning in complex domains, and researchers with a background in formal methods and programming languages. The focus of the AAIP 2025 seminar was the application of large language models to code generation and the evaluation of quality of generated code in comparison with other, classic inductive programming approaches. Furthermore, neuro-symbolic approaches to inductive programming, were explored. Applications of inductive programming in different domains such as biomedical scientific discovery, control code generation in complex industrial settings, and programming education were discussed.