Ce projet développe un système de preuve neuronale pour analyser et valider des structures linguistiques complexes en français. Il combine un super-tagger pour étiqueter les mots avec des catégories syntaxiques avancées et un linker pour établir les relations entre ces éléments. L'objectif est de transformer des phrases en représentations logiques structurées, facilitant ainsi l'analyse sémantique et la vérification automatique de cohérence grammaticale.

Frmg est un outil de traitement automatique du langage naturel dédié à l'analyse syntaxique des phrases en français. Il génère des grammaires formelles à partir d'une métagrammaire et les compile pour produire des structures linguistiques exploitables. Développé dans le cadre de la chaîne de traitement linguistique d'INRIA, il permet de valider des phrases, d'extraire des forêts de dérivation et de faciliter la recherche en linguistique computationnelle.