2026-07-28T20:53:42Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:27491 2026-07-28T08:37:35Z ddc:004 open_access

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 25491) Schmid, Ute Verbruggen, Gust Niemann, Sonja Diffusion Models Inductive Programming LLMs Program Synthesis Programming by Examples 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Ute Schmid and Gust Verbruggen and Sonja Niemann 2026 Is Part Of Dagstuhl Reports, Volume 15, Issue 11 (2026) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.15.11.134 urn:nbn:de:0030-drops-274912 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.11.134 eng https://creativecommons.org/licenses/by/4.0/legalcode