Synthèse de programmes probabiliste

Modélisation bayésienne de programmes

Framework théorique appliquant les principes bayésiens pour représenter les distributions de probabilités sur les programmes et mettre à jour les croyances lors de l'exploration algorithmique.

← 返回