FOL2NS: Generating Natural Sentences from First-Order Logic
FOL2NS est un framework neurosymbolique qui convertit des formules de logique du premier ordre en phrases naturelles. Il gère des structures imbriquées avec différentes profondeurs de quantificateurs rarement couvertes par les corpus existants. Les résultats montrent une génération fluide mais des défis croissants avec la complexité structurelle.