Des opérades comme fondation mathématique pour le raisonnement compositionnel dans les LLMs

L'article introduit les opérades comme cadre mathématique rigoureux pour la décomposition de questions complexes en sous-requêtes dans les LLMs. Les auteurs définissent un opérade des questions Q où les modèles QA sont interprétés comme des algèbres. Ils proposent la notion de cohérence opéradique, mesure d'accord entre réponses partielles d'un arbre de décomposition, corrélée à la précision sur douze LLMs et quatre datasets multi-hop selon leur papier empirique compagnon.