Goldilocks Test Sets for Face Verification

Cet article propose trois nouveaux jeux de données d'évaluation dits « Goldilocks » (Hadrian, Eclipse et ND-Twins) pour tester la robustesse des algorithmes de reconnaissance faciale face à des variations d'attributs et à des jumeaux, sans recourir à une dégradation artificielle de la qualité des images.

Haiyu Wu, Sicong Tian, Aman Bhatta, Jacob Gutierrez, Grace Bezold, Genesis Argueta, Karl Ricanek Jr., Michael C. King, Kevin W. Bowyer2026-03-10💻 cs

On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories

Cet article présente un cadre générique garantissant la décidabilité en temps polynomial des fragments de théories du premier ordre à nombre fixe de négations, démontrant notamment que le fragment à négations fixes de l'arithmétique faible de Presburger est décidable en temps polynomial, contrairement à une version plus restreinte de l'arithmétique de Presburger qui est NP-difficile.

Christoph Haase, Alessio Mansutti, Amaury Pouly2026-03-10💻 cs

A 1.6-fJ/Spike Subthreshold Analog Spiking Neuron in 28 nm CMOS

Cet article présente un neurone analogique spiking LIF en technologie CMOS 28 nm consommant seulement 1,61 fJ par pic, démontrant la viabilité d'une implémentation ASIC économe en énergie pour des réseaux de neurones à pics quantifiés appliqués à l'apprentissage machine embarqué.

Marwan Besrour, Takwa Omrani, Jacob Lavoie, Gabriel Martin-Hardy, Esmaeil Ranjbar Koleibi, Jeremy Menard, Konin Koua, Philippe Marcoux, Mounir Boukadoum, Rejean Fontaine2026-03-10💻 cs

Safe Navigation of Bipedal Robots via Koopman Operator-Based Model Predictive Control

Cet article propose un cadre de navigation sûr pour les robots bipèdes qui combine un apprentissage par renforcement profond et la théorie de l'opérateur de Koopman pour linéariser les dynamiques complexes dans un espace relevé, permettant ainsi à un contrôleur prédictif d'optimiser efficacement la trajectoire et d'améliorer la sécurité dans des environnements denses.

Jeonghwan Kim, Yunhai Han, Harish Ravichandar, Sehoon Ha2026-03-10💻 cs

InterMind: Doctor-Patient-Family Interactive Depression Assessment Empowered by Large Language Models

Le papier présente InterMind, un système d'évaluation de la dépression alimenté par des modèles de langage qui intègre les interactions entre patients, médecins et familles, tout en utilisant des techniques avancées pour améliorer la précision diagnostique et l'interprétabilité des décisions.

Zhiyuan Zhou, Jilong Liu, Sanwang Wang, Shijie Hao, Yanrong Guo, Richang Hong2026-03-10💻 cs

Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic Simulation

Le papier présente S²Sim, un système novateur qui utilise une simulation symbolique sélective pour diagnostiquer et réparer automatiquement les erreurs de configurations de routage distribuées, permettant de trouver des variantes conformes aux intentions et d'identifier les correctifs nécessaires.

Rulan Yang, Gao Han, Hanyang Shao, Xiaoqiang Zheng, Xing Fang, Ziyi Wang, Lizhao You, Ruiting Zhou, Linghe Kong, Ennan Zhai, Qiao Xiang, Jiwu Shu2026-03-10💻 cs

Optimal Mediation Mechanism in Bilateral Trade

Cet article examine la conception de mécanismes de médiation bilatérale optimisant les revenus dans un contexte d'information interdépendante, établissant un trilemme d'impossibilité entre l'incitation, l'obéissance et l'information, puis caractérisant les solutions optimales sous des conditions de relaxation qui révèlent des structures de seuil influençant la participation et le marché des « citrons ».

Zhikang Fan, Weiran Shen, Shaojie Tang, Yao Wang2026-03-10💻 cs