In the honor of my two esteemed colleagues (@abiteboul.com and Victor Vianu), the Abiteboul–Vianu theorem is now formalized and machine-proofed as part of my descriptive-complexity Lean 4 library. pierresenellart.github.io/descriptive-...

descriptive-complexity is a Lean 4 library I developed to formalize complexity classes and prove hardness results with no computation model: a class is a logic, a completeness proof is a definability witness plus a first-order reduction. Karp's 21 problems are all there. github.com/PierreSenell...

GitHub - PierreSenellart/descriptive-complexity: A Lean 4 library for descriptive complexity: FO reductions and SO-defined polynomial hierarchy, on top of Mathlib's ModelTheory

A Lean 4 library for descriptive complexity: FO reductions and SO-defined polynomial hierarchy, on top of Mathlib's ModelTheory - PierreSenellart/descriptive-complexity

github.com

proofgraph is a LaTeX package I developed to automate proof dependency graphs: by default, a theorem depends on another if it uses it in its proof (this is fully customizable). Useful if you write papers full of mathematical statements. github.com/PierreSenell...

🎓 13 établissements.
 ⭐ 15 ans.
 ✨ Une nouvelle identité.
 🌍 Une ambition internationale renforcée.
 🚀 Une même énergie pour faire avancer la recherche, la création et l'innovation avec ses 13 établissements composantes. Infos 👉 psl.eu/actualites/l...

Le rapport 2025 du Comité éthique et scientifique de Parcoursup et Mon Master, auquel j'ai modestement contribué, est disponible : www.enseignementsup-recherche.gouv.fr/fr/remise-du...

#Distinction 🏆 | Pour ses travaux sur des modèles d' #IA expressifs, Margot Herin a été récompensée par les prix de thèse 2025 Gilles Kahn et du GDR ROD. ➡️ www.ins2i.cnrs.fr/fr/cnrsinfo/lia-explicable-lepreuve-des-preferences-humaines 🤝 @sorbonne-universite.fr @cnrs-paris.bsky.social @lip6.fr

@psl-univ.bsky.social s'engage pour l'évaluation qualitative de la recherche, en signant @dorassessment.bsky.social et en rejoignant @coarassessment.bsky.social psl.eu/engagement-d...

🚀 « #IA à Paris. Un an après le sommet, construire l’avenir » En amont du prochain rdv international en Inde, PSL et @ipparis.bsky.social, avec HEC Paris, unissent leurs forces pour un après-midi de réflexion de haut niveau, le 9 février au @college-de-france.fr. Infos 👉 psl.eu/agenda/lia-p...

#Distinction 🏆 | La #SociétéInformatiquedeFrance a publié le palmarès du prix de thèse Gilles Kahn 2025. Félicitations à Margot Hérin, lauréate du prix de thèse Gilles Kahn et Corentin Jeudy pour son accessit. ➡️ www.ins2i.cnrs.fr/fr/palmares-...

🏆 Palmarès du prix de thèse Gilles Kahn 2025 La SOCIETE INFORMATIQUE DE FRANCE est ravie d’annoncer les récipiendaires 2025 du prix de thèse Gilles Kahn. Ce prix met en lumière de jeunes scientifiques dont les travaux de thèse constituent une avancée remarquable pour la discipline informatique.

Le Palmarès du prix de thèse Gilles Kahn 2025 de la Société Informatique de France, est annoncé : www.socinfo.fr/palmares-du-...

Palmarès du prix de thèse Gilles Kahn 2025 - Société Informatique de France

La Société Informatique de France (SIF) est ravie d’annoncer les récipiendaires 2025 du prix de thèse Gilles Kahn. Ce prix, placé sous le patronage de l’Académie des Sciences, attribué chaque année de...

socinfo.fr

🛑 𝐒𝐭𝐨𝐩 𝐭𝐡𝐫𝐨𝐰𝐢𝐧𝐠 𝐚𝐰𝐚𝐲 𝐲𝐨𝐮𝐫 𝐫𝐞𝐭𝐫𝐢𝐞𝐯𝐚𝐥 𝐬𝐜𝐨𝐫𝐞𝐬. RAG uses embedding scores to pick Top-K, then treat all retrieved chunks as equal. Parallel Context-of-Experts Decoding (PCED) uses retrieval scores to move evidence aggregation from attention to decoding. 🚀 180× faster time-to-first-token!

Parallel Context-of-Experts Decoding for Retrieval Augmented Generation

Retrieval Augmented Generation faces a trade-off: concatenating documents in a long prompt enables multi-document reasoning but creates prefill bottlenecks, while encoding document KV caches separatel...

arxiv.org

A video presentation of @psl-univ.bsky.social's Paris School of AI, which in particular includes @psl-univ.bsky.social's International Bachelor of Science in Artificial Intelligence. psl.eu/formation/in... www.youtube.com/watch?v=B_SR...

Welcome to PSAI - Paris School of Artificial Intelligence I 4K I Université PSL

YouTube video by Université PSL

youtube.com

✨ L’Université PSL vous souhaite une excellente année 2026. ✨ Université PSL whishes you an excellent year 2026.

Si Macron ou d'autres responsables français expriment une opinion défavorable de l'action américaine au Vénézuela, et que leurs déclarations vexent Trump qui les met (eux ou organismes / entreprises) sur une liste non grata, qui de notre dépendance numérique ?

I needed a tool to make a few Unicode transformations on a small text, so I wrote one. nsup.org/phare/gitweb...

à l'heure où les USA sanctionnent Thierry Breton.. pardonnez l'autopromo, mais si vous ne l'avez pas lue, lisez ma tribune d'il y a deux mois www.lemonde.fr/idees/articl...

David Monniaux, directeur de recherche au CNRS : « Que se passerait-il si Trump ordonnait aux Gafam de cesser leurs services cloud à l’égard de nos gouvernements ? »

TRIBUNE. Dans une tribune au « Monde », le chercheur souligne les dangers de la dépendance numérique européenne à l’égard des géants du Web, soumis à la législation américaine.

lemonde.fr

📢 #Nomination | Meltem Öztürk Escoffier devient vice-présidente déléguée vie étudiante et vie de campus auprès d’Alexandre Allauzen, vice-président affaires académiques formation et attractivité de l’Université PSL. + d'infos 👉 psl.eu/actualites/m...

Du format de compression d’images JPEG 2000 aux fondements mathématiques de l’IA, Stéphane Mallat a façonné des outils devenus incontournables. Pour ses travaux exceptionnels, il reçoit la médaille d'or 2025 du CNRS. #TalentsCNRS 🏅 Son portrait vidéo 👉 youtu.be/m3zNvnGSjjk

Stéphane Mallat, bâtisseur de ponts mathématiques et informatiques | Talents CNRS

YouTube video by CNRS

youtu.be

Décernée en septembre, la médaille d'or 2025 du CNRS, l’une des plus prestigieuses récompenses scientifiques françaises, est aujourd'hui remise par Antoine Petit, Pdg du CNRS, au mathématicien Stéphane Mallat. 👏 #TalentsCNRS ➡️ lejournal.cnrs.fr/articles/ste...

Leçon inaugurale de Pascale Senellart @college-de-france.fr @psl-univ.bsky.social www.college-de-france.fr/fr/agenda/le...

[ #VeilleESR #LRU ] L'Université PSL appelle à un financement pérenne et ambitieux de l’ESR. « Sans université forte, pas de souveraineté économique et technologique » psl.eu/actualites/s...

Our article on the societal challenges posed by Large Language Models is now available at SIGIR Forum: sigir.org/wp-content/u... Thanks to Zacchary Sadeddine, Winston Maxwell and @gaelvaroquaux.bsky.social !

🗳️ Conseil d’administration et Sénat académique : résultats des récents scrutins Conseil d’administration de PSL : résultats du scrutin des 18 et 19 novembre 2025 👉 psl.eu/actualites/c... Elections au Sénat académique de PSL : résultats du scrutin des 2 et 3 décembre 2025 👉 psl.eu/actualites/e...

#Distinction 🏆 | Félicitation à David Pointcheval, expert en cryptographie, qui a reçu le prix Lazare Carnot 2025 de l' @academiesciences.bsky.social ! ➡️ www.ins2i.cnrs.fr/fr/cnrsinfo/... 🤝 @cnrs-paris.bsky.social

Pour la dernière année j'ai eu l'honneur d'être membre du jury du prix de thèse de la Société informatique de France et j'ai encore une fois été impressionné par la très haute qualité des travaux qui lui ont été soumis.

www.cn2.fr en préparation !

Elle contribuera à la diffusion des résultats de la recherche au plus grand nombre et à une fonction de médiation scientifique absolument essentielle. Un très beau projet qui donne (à titre personnel) beaucoup de sens à ma mission dans ce ministère. urfist.chartes.psl.eu/actualites/o...

Offre d'emploi : résidence Wikimédia à l'Urfist de Paris (2026-2027) | Urfist de Paris

L'Urfist de Paris propose une résidence Wikimédia, ouverte aux candidatures jusqu'au 7 décembre 2025.

urfist.chartes.psl.eu

Dans le cadre de la politique nationale de science ouverte, le Ministère de l'Enseignement supérieur, de la Recherche et de l'Espace soutient des résidences Wikipédia sur le territoire depuis plusieurs années.

#CNRSnews 🗞️ The CNRS mathematician and computer scientist Stéphane Mallat receives the CNRS 2025 Gold Medal for his achievements in applied maths and signal processing, including the JPEG 2000 image compression standard and mathematical foundations of AI.

Stéphane Mallat, a pioneer bridging mathematics and computer science

news.cnrs.fr