Synthèse de programmes probabiliste

Optimisation bayésienne de programmes

Méthode d'optimisation globale utilisant des modèles bayésiens pour guider efficacement la recherche de programmes optimaux dans des espaces de grande dimension coûteux à évaluer.

← Retour