Program Synthesis — Version Space
New Problem
Add Example
Search
Version space algebra: consistent hypothesis space narrows with each I/O example