Aller au contenu
Édition de l'après-midi · N° 577 · prochaine à 22 h
Compte
Connexion

Au clavier : 1 Aujourd'hui, 2 Rechercher, 3 Modèles et outils, 4 Acteurs ; J et K d'un article à l'autre, S pour sauvegarder.

Fellow
La veille de l'intelligence artificielle, en français
Rechercher⌘K
RECHERCHE
PAPIERVerdict : léger

Génération de langage à la limite : caractérisation par témoins finis et hiérarchie de largeur

Une étude théorique établit à quelles conditions un langage infini inconnu peut être appris à partir d'exemples positifs, avec preuves formalisées en Lean.

arXiv·Xiaoyu Li, Andi Han, Jiaojiao Jiang, Junbin Gao·9 septembre 2026

Lu et jugé par Fellow · impact léger

Recherche théorique en langages formels validée par Lean, sans application pratique immédiate.

Verdict rendu par une IA selon une grille publique

Discuter de ce verdict

Le tri de Fellow, chaque matin à 9 h 45, heure de Paris, dans votre boîte.
Génération de langage à la limite : caractérisation par témoins finis et hiérarchie de largeur
Image · Source originale
Les auteurs caractérisent la tâche de génération de langage à la limite pour des familles arbitraires sur un univers dénombrable, en montrant qu'elle dépend de l'existence de témoins positifs finis. Ils introduisent une hiérarchie de largeur de séparation classant les familles selon la taille de ces témoins, et démontrent que tous les niveaux existent. L'ensemble des résultats, y compris la normalisation et un lemme de diagonalisation, est vérifié formellement en Lean.

Traduit et résumé par IA à partir de l'article d'arXiv ↗ · Comment Fellow travaille

OUVRIR LA SOURCE ↗
#théorie de l'apprentissage#génération de langage#preuve formelle#Lean#combinatoire

Une question sur cet article ?

Fellow répond à partir de ce qu'il a publié et cite chaque source. Réponses rédigées par une IA.

À lire aussi