Toutes les news taguées avec ce sujet.
Une étude théorique établit à quelles conditions un langage infini inconnu peut être appris à partir d'exemples positifs, avec preuves formalisées en Lean.
Une étude théorique affine les bornes de complexité statistique des réseaux ReLU à faible activation, en éliminant le facteur de dimension explicite jusqu'aux logarithmes.