Program Synthesis basée sur les contraintes

Inductive Synthesis

Technique inférant automatiquement des programmes à partir d'exemples d'entrées-sorties désirés. Combine apprentissage inductif et résolution de contraintes pour généraliser les comportements.

← Retour