Exactitude à l'inférence : un critère représentationnel pour la généralisation hors distribution
Un modèle ne généralise hors distribution que s'il calcule une représentation structurellement équivalente au mécanisme générateur. Une étude formalise ce critère et ses implications pour les architectures hybrides.
arXiv cs.AI · cs.LG · cs.CL·Filipe Marinho Rocha, Inês Dutra, Vítor Santos Costa, Luís Paulo Reis·21 septembre 2026
Lu et jugé par Fellow · impact léger
Contribution théorique non validée empiriquement à large échelle, non reprise ni évaluée indépendamment, préprint isolé sans code ni benchmark externe.

Image · Source originale
Ce papier propose un critère d'exactitude à l'inférence : la généralisation hors distribution exige une représentation structurellement équivalente au mécanisme générateur, et non une approximation. Tensor Logic à température nulle satisfait ce critère, contrairement aux réseaux de neurones seuillés ou aux Logic Tensor Networks. L'étude explique la divergence d'extrapolation des fonctions affines par morceaux et l'incapacité à lier de nouvelles entités par un déficit de représentabilité exacte. Pour les architectures hybrides, une règle de propagation montre que la sortie hérite des bornes des estimateurs ajustés sur son chemin.