Articles dont les auteurs originaux ont examiné notre explication accessible.
Pour chaque article de cette page, au moins un des auteurs originaux a examiné notre explication accessible — soit en confirmant sa précision, soit en demandant des corrections que nous avons ensuite appliquées. Une validation ne signifie pas que les auteurs approuvent formellement chaque phrase, mais que l'explication a été revue par les personnes qui ont écrit l'article.
279 articles vérifiés par les auteurs · 71–80 / 279
Cette étude de vérification formelle révèle que 55,8 % des artefacts de code générés par sept grands modèles de langage dans des contextes critiques pour la sécurité contiennent des vulnérabilités mathématiquement prouvées, démontrant ainsi que les assistants de codage actuels produisent du code intrinsèquement fragile malgré les instructions de sécurité et les outils d'analyse traditionnels.
Cet article présente une généralisation SU(2)×U(1) de la théorie de Ginzburg-Landau pour la supraconductivité ferromagnétique à triplet de spin, décrivant un système riche en phénomènes tels que l'effet Meissner non abélien, des vortices et monopoles doubles, ainsi que des interactions magnétiques à longue portée médiées par des magnons sans masse.
This paper introduces a practical framework for evaluating concordance among AI-based anatomy segmentation models on datasets lacking ground truth by harmonizing outputs into a standard representation and providing interactive visualization tools, demonstrating its utility in comparing six open-source models on NLST CT scans to flag discrepancies and prioritize cases of inter-model disagreement for expert review.
Cette étude démontre que la migration réversible d'une planète de masse terrestre à travers un disque de planétésimaux élève les vitesses relatives des corps célestes au point de provoquer leur fragmentation, générant ainsi la poussière observée dans les disques de débris externes.
Ce papier présente SenseAI, un jeu de données validé par des humains et conçu pour l'apprentissage par renforcement à partir de retours humains (RLHF), qui capture le processus de raisonnement complet des modèles financiers afin d'identifier et de corriger des erreurs systématiques telles que la dérive de raisonnement latent.
En modélisant la dynamique des cordes dans un cadre spatio-temporel fini plutôt qu'éternel, cette étude révèle que les cordes sans tension apparaissent exclusivement au moment de leur naissance, formant une phase caractérisée par une structure carrollienne ultra-locale.
Cet article propose un nouveau paradigme unificateur selon lequel les interfaces topologiques entre les organismes et leur environnement, régies par des contraintes de transport des ressources, constituent le moteur principal de l'origine des formes biologiques, de la motilité et des explosions de diversification, comblant ainsi les lacunes des théories évolutionnistes classiques.
Cette étude présente une investigation théorique du processus de lecture d'un qubit de spin basé sur un transistor à grille tout autour (GAA), démontrant par des simulations TCAD et SPICE qu'un circuit de lecture CMOS conventionnel avec un amplificateur de détection peut efficacement détecter et amplifier les signaux faibles générés par les états du qubit grâce au contrôle dynamique de la tension.
Ce papier développe un cadre analytique basé sur les équations d'Alexeev pour décrire la turbulence en canal, où le couplage entre les composantes de vitesse longitudinale et transversale génère des solutions de type « kink » qui modélisent la formation et les propriétés des stries pariétales observées expérimentalement.
Cet article propose une nouvelle méthode de détection des ondes gravitationnelles utilisant des barres de Weber chargées placées dans une cavité blindée, où l'interaction entre l'onde gravitationnelle et le système optomécanique induit l'émission de photons détectables.