Luc Pommeret
Ingénieur d'études, LISN (CNRS). Propositions atomiques pour une IA vérifiable.
Contact :
Quand un LLM génère un paragraphe, comment savoir si chaque affirmation est vraie ? Comment les réseaux de neurones représentent la sémantique ? Je décompose le langage naturel en propositions atomiques, des unités de sens minimales et vérifiables, pour construire des systèmes de vérification formellement fondés. Mes travaux font le pont entre la théorie de l'information sémantique de Carnap et Bar-Hillel et le TAL moderne.
Recherche
LISN (CNRS) — depuis avril 2025, sous la direction de Sophie Rosset, Thomas Gerald, Christophe Servan et Sahar Ghannay. Propositions atomiques en NLP : évaluation et amélioration de systèmes RAG, entraînement d'un propositioneur. — rapport de stage
IRIF — avril–septembre 2024, sous la direction de Michel de Rougemont. Émergence de capacités dans les grands modèles de langage. — rapport de stage
Publications et communications
Pommeret, Gerald, Servan, Ghannay, Paroubek, Rosset. « LLM based Atomic Propositions help weak extractors: Evaluation of a Propositioner for triplet extraction ». KG-LLM 2026, LREC 2026, Palma de Majorque, 16 mai 2026.
Pommeret, Wagret, Deret. « THIVLVC: Retrieval Augmented Dependency Parsing for Latin ». LT4HALA 2026 / EvaLatin 2026, LREC 2026, Palma de Majorque, 11 mai 2026.
Pommeret, Gerald, Rosset, Servan, Ghannay. « Les propositions atomiques : un pont entre approches neuronales et symboliques pour l’interprétabilité par construction ». Journée interprétabilité du GDR TAL, ISIR Jussieu, 17 mars 2026. Présentation orale.
Pommeret, Rosset, Servan, Ghannay. « AtomicEval: Evaluation Framework for Atomic Proposition Autonomy with French Propositioner ». JDSE 2025, Paris-Saclay.
Pommeret. « Exploring Emergent Skills with Chess-GPT ». PFIA 2024, La Rochelle.