💻 Category

cs.MA

1302 articles

La section Cs — Ma regroupe des travaux fascinants à l'intersection des mathématiques et de l'informatique, où les structures abstraites nourrissent l'innovation algorithmique. Ici, des chercheurs explorent comment la logique formelle et la théorie des nombres transforment notre capacité à coder, sécuriser et optimiser les systèmes numériques complexes.

Sur Gist.Science, nous surveillons quotidiennement arXiv pour repérer chaque nouveau prépublications dans cette catégorie. Pour chaque article, nous offrons une version vulgarisée claire pour tous, accompagnée d'une analyse technique détaillée, rendant ainsi ces avancées intellectuelles immédiatement accessibles sans sacrifier la rigueur scientifique.

Découvrez ci-dessous les dernières contributions de la communauté, sélectionnées et résumées pour éclairer les découvertes qui façonnent l'avenir du calcul mathématique.

🤖 AI

Distribird: Literature-Informed Prior Distribution Design for Bayesian Model Calibration

Distribird est une application web agentique qui automatise la création de distributions a priori fondées sur la littérature pour le calibrage de modèles bayésiens en déployant un pipeline multi-agents pour rechercher, extraire et ajuster statistiquement des données à partir d'articles scientifiques, offrant ainsi une alternative locale et transparente aux a priori uniformes qui garantit la traçabilité et empêche les résultats infondés.

Patrik P. Süli, György Eigner, Roland Hollós2026-08-13
🤖 AI

MaSRead: Content-Addressed Reading of Replicated Latent Stores

MaSRead permet à des agents indépendants de récupérer de manière fiable des fragments spécifiques à partir d'un magasin latent répliqué sans conflit en acheminant les requêtes via des ensembles de balises dérivés du contenu et en décodant les fragments sélectionnés sous un masque d'attention stricte, surmontant ainsi les problèmes d'interférence de la colocalisation et permettant une lecture adressée par le contenu et évolutive, quels que soient la taille du magasin ou l'ordre de livraison.

Carlos Baquero, Luís Brito, João Resende2026-08-13
💰 quantitative finance

AgonAlpha: Autonomous Alpha Discovery via Prompt Economy and Scalable Agentic Search

AgonAlpha est un système de minage d'alpha autonome qui recherche à travers des artefacts de recherche gelés en utilisant une revue adversaire et une allocation budgétaire parallèle pour générer des facteurs de trading de haute qualité, entièrement vérifiables, avec une provenance prompt-vers-expression prouvée.

Weicheng Ye, Youran Sun, Xingyu Ren, Shunyao Yu, Chugang Yi, Haizhao Yang2026-08-13
🤖 AI

Local verification cannot detect non-transportability: a cohomological theory of context preservation in agentic reasoning

Cet article introduit un cadre cohomologique démontrant que les garde-fous de vérification locale dans l'IA agentique sont structurellement incapables de détecter les conclusions non transportables découlant de conflits d'évidences harmoniques, et propose la procédure Ksetra pour identifier et filtrer de telles incohérences globales à l'aide de statistiques basées sur les cycles.

Suyash Mishra2026-08-13
💻 computer science

When Do Institutions Beat Intelligence?

Cet article soutient que le choix entre l'amélioration de l'intelligence des agents individuels et l'amélioration des structures institutionnelles dépend du diagnostic de défaillances spécifiques du raisonnement collectif, car les institutions sont les plus efficaces lorsqu'elles réparent la manière dont un groupe construit et agit sur l'information publique, mais perdent leur avantage lorsque l'intelligence accrue peut directement accomplir ces transformations ou lorsque les signaux institutionnels ne sont pas informatifs.

Zhengye Han2026-08-13
🤖 AI

Beyond Memory: A Transactional Continuity Kernel for Long-Lived AI Agents

Cet article introduit le Continuity Kernel (CK), un plan de contrôle transactionnel qui assure l'évolution sûre et autorisée des agents IA à longue durée de vie en découplant les propositions d'état non fiables de l'activation atomique, empêchant ainsi les écrasements obsolètes et l'escalade de privilèges grâce à un protocole formellement vérifié qui garantit une lignée ininterrompue et auditable des changements d'état.

Jun He, Deying Yu2026-08-13
🤖 AI

AgenticTwin: An Agentic LLM Framework Integrated with Digital Twin for Anomaly Detection

Ce document propose AgenticTwin, un cadre qui intègre les grands modèles de langage aux systèmes de jumeaux numériques pour améliorer la détection et le diagnostic d'anomalies dans les environnements cyber-physiques grâce à un raisonnement ancré et une interaction en langage naturel, validé par un nouveau benchmark sur des données synthétiques de capteurs météorologiques.

Touseef Hasan, Mounika Ghanta, Souvika Sarkar, Ujjwal Guin2026-08-13
🤖 machine learning

Behavioral Inference at Scale: The Fundamental Asymmetry Between Motivations and Belief Systems

Cet article démontre une asymétrie fondamentale dans l'inférence comportementale où les motivations des agents de type LLM peuvent être récupérées avec une précision quasi parfaite, tandis que leurs systèmes de croyances sous-jacents demeurent largement opaques, plafonnant à des taux de précision faibles qui suggèrent une limite architecturale ou intrinsèque à ce que les actions observables révèlent des valeurs internes.

Jason Starace, Terence Soule2026-08-12
💬 NLP

TRIBE: Predicting Team Performance via Communication Behavior Ensembles

L'article présente TRIBE, un cadre indépendant du domaine qui prédit la performance des équipes tôt dans les tâches en analysant les modèles de communication pour identifier des « tribus » comportementales, démontrant que ces modèles sont plus efficaces que les mesures traditionnelles et peuvent être optimisés en termes de vitesse et de précision par rapport à des modèles comme Llama.

Ali Jalal-Kamali, Nikolos Gurney, David V. Pynadath, Fred Morstatter2026-08-12