Program Synthesis & Programming by Example Lesson

Program SynthesisAn interactive introduction to program synthesis, programming by example and evaluation. Learn why different programs can match the same examples yet disagree on other valid inputs.Explore program synthesis and PBE through 13 interactive steps and 24 examples. Discover competing rules and evaluate generalization with structural tests.Tool features

13 steps across program synthesis, programming by example and evaluation

24 executable transformation examples across six task families

A bounded browser-based text synthesizer with visible candidate programs

Compare routine held-out tests with structural challenges

Inspect output accuracy, task success, search budgets and test independence

This website requires JavaScript for the full interactive experience.Home Learning Reinforcement Learning Neural Networks Large Language Models Semantic Web Program Synthesis Tools PDF Tools Chess Opening Trainer Chess Game Password Generator QR Code Generator Audio Editor Audio Transcription Image Background Remover Photo Morph Video Save or Loan Calculator