@inproceedings{Pommeret-Gerald-Servan-Ghannay-Paroubek-Rosset:CORIA-TALN-2026:2026,
    author = "Pommeret, Luc and Gerald, Thomas and Servan, Christophe and Ghannay, Sahar and Paroubek, Patrick and Rosset, Sophie",
    title = "Study of Multilingual Propositioners : Formalisation, Evaluation and Interpretability",
    booktitle = "Actes de CORIA-TALN 2026. Actes de la 21e Conf\'erence en Recherche d'Information et Applications.  Volume 1 : articles scientifiques originaux",
    month = "6",
    year = "2026",
    address = "Nantes, France",
    publisher = "Association pour le Traitement Automatique des Langues",
    pages = "196-213",
    note = "Les propositions atomiques sont de plus en plus utilis\'ees en traitement automatique des langues (TAL) et en recherche d{\textquoteright}information (RI), sans qu{\textquoteright}il y ait accord sur une d\'efinition formelle",
    abstract = "Les propositions atomiques sont de plus en plus utilis\'ees en traitement automatique des langues (TAL) et en recherche d{\textquoteright}information (RI), sans qu'il y ait accord sur une d\'efinition formelle. Nous proposons un cadre th\'eorique bas\'e sur la th\'eorie de l{\textquoteright}information s\'emantique de Carnap et Bar\nobreakdash-Hillel, montrant qu{\textquoteright}une proposition atomique correspond exactement \`a une clause en forme normale conjonctive. Nous entra{\^\i}nons ${\textbackslash}texttt{MPropositionneur-V2}$, un propositionneur multilingue distill\'e de ${\textbackslash}texttt{Qwen3\nobreakdash-72B}$ \`a ${\textbackslash}texttt{Qwen3\nobreakdash-0.6B}$, dot\'e d{\textquoteright}un algorithme r\'ecursif favorisant l{\textquoteright}atomicit\'e des sorties. Notre mod\`ele d\'epasse celui de Chen (2024), tout en \'etant plus petit et multilingue. Nous l{\textquoteright}\'evaluons sur trois t\^aches (extraction de triplets, recherche d{\textquoteright}information, \'evaluation de r\'esum\'es). Il am\'eliore le rappel des relations, d\'epasse la granularit\'e des phrases et passages en RI, et est cinq fois plus rapide sur SummEval, avec de meilleurs scores de coh\'erence et de pertinence.",
    keywords = "propositions atomiques, RAG, \'evaluation de r\'esum\'e, extraction de relations, recherche d'information, propositionneur",
    url = "30021.pdf"
}