Constraint-based Program Synthesis

Inductive Synthesis

Technique that automatically infers programs from examples of desired input-output pairs. Combines inductive learning and constraint solving to generalize behaviors.

← Wstecz