💻 informatique

Token Probability Beats Verbalized Condence for Error Detection in Small Open-Weight Language Models: A Medical and Psychiatric Benchmark Study

Cette étude pilote démontre que pour les petits modèles de langage à poids ouverts (1,2 à 9,2 milliards de paramètres) appliqués à des tâches médicales et psychiatriques, l'extraction des probabilités de jetons internes est une méthode nettement plus fiable pour la détection d'erreurs que de se fier à la confiance verbalisée des modèles, particulièrement pour les plus petits modèles où la confiance verbalisée se comporte au niveau du hasard.

Kunal Dhanda2026-09-15
💻 informatique

Does a Safety-Priming Instruction Reduce Risk-Fact Omission in Psychiatric Note Summarization? A Synthetic-Vignette Study of Small Open-Weight Language Models

Cette étude par vignette synthétique démontre que, bien que l'ajout d'une instruction de sensibilisation à la sécurité aux petits modèles de langage à poids ouverts puisse réduire considérablement l'omission de facteurs de risque critiques dans la synthèse de notes psychiatriques pour certains modèles, cela crée souvent un compromis en augmentant l'omission de détails cliniques de routine, suggérant que de telles interventions de sécurité doivent être validées par modèle plutôt que supposées être universellement efficaces.

Kunal Dhanda2026-09-15
💻 informatique

Predicting Late Delivery Risk in Global Supply Chain Operations Using Machine Learning

Cette étude présente un tableau de bord Streamlit interactif et entièrement déployé qui utilise un classificateur XGBoost entraîné sur 180 519 enregistrements logistiques de DataCo Global pour prédire les risques de retard de livraison avec une précision de 79,89 %, permettant ainsi des décisions opérationnelles proactives dans l'expédition, la surveillance régionale et la communication client.

Naresh Adepu2026-09-15
💻 informatique

Not Letting Proofs Die: xLaDe, a Lean 4 Ecosystem Framework

Cet article présente xLaDe, un cadre pour l'écosystème Lean 4 conçu pour assurer la reproductibilité et la durabilité à long terme des mathématiques formalisées en enregistrant les métadonnées de la chaîne d'outils et en gérant les environnements expérimentaux sans modifier le code source, répondant ainsi aux défis posés par l'évolution rapide du langage.

Lakshit Singh Bisht, Deepak Pandey, Manpreet Sahoo, Thota Siva2026-09-15
💻 informatique

Fixing Abstention with Token Probability: A Budget-Matched Causal Test Across Four Small Open-Weight Models

Cet article démontre que le remplacement de la confiance verbalisée par une politique d'abstention basée sur la probabilité des jetons et l'ajustement budgétaire élimine causalement un effet spécifique de dégradation de la précision observé dans le modèle llama3.2:1b, mais ne parvient pas à généraliser ce bénéfice à d'autres petits modèles aux poids ouverts, indiquant que de tels correctifs sont spécifiques au modèle et qu'une abstention à budget fixe peut rester globalement préjudiciable même avec un ciblage amélioré.

Kunal Dhanda2026-09-15
💻 informatique

Explainable Digital Twin Modelling of Semi-Urban Community for Multidimensional Poverty Governance Intelligence

Cette étude propose un cadre de Jumeau Numérique explicable qui intègre l'apprentissage automatique, la simulation contrefactuelle et l'optimisation sensible aux coûts pour modéliser la dynamique de la pauvreté multidimensionnelle dans la communauté semi-urbaine d'Isolu au Nigeria, démontrant que les interventions politiques multiples ciblées et spécifiques à chaque groupe sont plus efficaces que les filets de sécurité uniformes pour une gouvernance intelligente de la pauvreté.

Taiwo Olapeju Olaleye, Oluwasefunmi Arogundade, Taiwo David Ajayi, Oluwasegun Dada2026-09-15
💻 informatique

From Pixels to Registers: A Multi-Modal Testing Framework for Chained Perception, Control and Firmware

Cet article présente un cadre de test multimodal qui découple la perception du contrôle en convertissant les entrées photoréalistes en dessins au trait abstraits et en cartes sémantiques, validés par un nouveau simulateur ouvert qui fait le pont entre une fidélité de niveau entraînement rapide et une émulation rigoureuse de micrologiciel au niveau registre pour exposer des défauts invisibles à la simulation standard.

Brent Hartshorn2026-09-15
💻 informatique

Adaptive Hybrid Collaborative Filtering via Incremental Retraining

Cet article propose un modèle de filtrage collaboratif hybride adaptatif (AHCF) qui intègre la factorisation de matrice hors ligne et la modélisation thématique à un mécanisme de partitionnement adaptatif en ligne afin de réduire considérablement le temps de réentraînement tout en maintenant une précision de prédiction compétitive pour les systèmes de recommandation à grande échelle et en temps réel.

Robert Agboyi2026-09-15