Inductive program synthesis

Program Synthesis

Computer science discipline aimed at automatically generating computer programs that satisfy high-level specifications. This approach combines search techniques, machine learning, and formal reasoning to create functional code.

← Geri