DROPS

Document

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 25491)

Authors: Ute Schmid, Gust Verbruggen, and Sonja Niemann

Published in: Dagstuhl Reports, Volume 15, Issue 11 (2026)

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.

Cite as

Ute Schmid, Gust Verbruggen, and Sonja Niemann. Approaches and Applications of Inductive Programming (Dagstuhl Seminar 25491). In Dagstuhl Reports, Volume 15, Issue 11, pp. 134-156, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@Article{schmid_et_al:DagRep.15.11.134,
  author =	{Schmid, Ute and Verbruggen, Gust and Niemann, Sonja},
  title =	{{Approaches and Applications of Inductive Programming (Dagstuhl Seminar 25491)}},
  pages =	{134--156},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2026},
  volume =	{15},
  number =	{11},
  editor =	{Schmid, Ute and Verbruggen, Gust and Niemann, Sonja},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.11.134},
  URN =		{urn:nbn:de:0030-drops-274912},
  doi =		{10.4230/DagRep.15.11.134},
  annote =	{Keywords: Diffusion Models, Inductive Programming, LLMs, Program Synthesis, Programming by Examples}
}

Search Results

Documents authored by Niemann, Sonja

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 25491)

Abstract

Cite as

Thanks for your feedback!

Could not send message