Automatically generating a program from a specification or set of examples, then checking it against tests.
Continue to AI University →