Un nouveau référentiel évalue l'efficacité des modèles de langage dans les applications robotiques.
― 8 min lire
La science de pointe expliquée simplement
Un nouveau référentiel évalue l'efficacité des modèles de langage dans les applications robotiques.
― 8 min lire
Un outil pour vérifier les protocoles de communication dans les applis Clojure.
― 7 min lire
Les robots changent notre façon de vivre et de travailler dans plein de domaines.
― 8 min lire
Une approche formelle pour vérifier la justesse des protocoles de consensus basés sur des DAG.
― 13 min lire
Des recherches montrent que des changements simples dans les entrées peuvent entraîner des résultats nuisibles dans les LLMs.
― 8 min lire
Un nouveau modèle améliore la surveillance de la sécurité des grands modèles de langage contre le contenu nuisible.
― 9 min lire
Le cadre RSHPN améliore la fiabilité et la sécurité des systèmes robotiques grâce à une meilleure analyse.
― 9 min lire
Combiner la reachabilité Hamilton-Jacobi avec l'apprentissage par renforcement améliore la sécurité dans les systèmes de contrôle.
― 5 min lire
Un nouveau benchmark vise à évaluer efficacement les risques de sécurité de l'IA.
― 10 min lire
Les règlements guident l'utilisation sûre et équitable des technologies d'IA dans différents secteurs.
― 9 min lire
Un aperçu des biais dans les modèles de langage et leur impact sur l'équité.
― 7 min lire
La logique offre une base solide pour un apprentissage efficace en sciences et ingénierie.
― 8 min lire
Examen des risques et des mesures de sécurité pour les robots alimentés par des LLM.
― 10 min lire
Les robots humanoïdes changent notre façon d'aborder le travail dans plusieurs secteurs.
― 7 min lire
Un aperçu de l'évaluation des chatbots de bien-être mental pour un soutien utilisateur efficace.
― 8 min lire
Les modèles Phi-3 se concentrent sur la sécurité et l'alignement avec les valeurs humaines.
― 8 min lire
Examiner comment l'IA explicable peut aider à certifier les systèmes d'IA.
― 7 min lire
Un aperçu du potentiel de l'IA pour améliorer la sécurité des tracteurs.
― 7 min lire
Ce papier présente des modèles de garde-fous pour promouvoir une IA sûre dans l'éducation.
― 7 min lire
Explorer l'oubli machine et son rôle dans l'amélioration de la sécurité et de la vie privée de l'IA générative.
― 9 min lire
Un programme pour enseigner la vérification de modèles pour le développement de logiciels fiables.
― 6 min lire
Un nouveau cadre améliore la sécurité des voitures autonomes grâce à des méthodes formelles.
― 11 min lire
Un nouveau cadre améliore la sécurité des systèmes cyber-physiques contrôlés par l'IA.
― 8 min lire
Examiner des stratégies pour créer des systèmes d'IA qui privilégient la sécurité et minimisent les risques.
― 12 min lire
Gemma Scope propose des outils pour mieux comprendre les modèles de langage et améliorer la sécurité de l'IA.
― 8 min lire
Explore le rôle des Fonctions de Barrière de Contrôle dans le maintien de la sécurité dans divers systèmes.
― 8 min lire
Un nouveau système améliore le contrôle des véhicules en terrain difficile en utilisant deux méthodes.
― 6 min lire
Cette étude examine les blessures causées par les interactions entre robots et humains dans des environnements industriels.
― 6 min lire
Une nouvelle approche pour améliorer la façon dont les robots comprennent et réagissent aux utilisateurs.
― 9 min lire
Une nouvelle approche simplifie la conception de contrôle tout en garantissant la sécurité dans les systèmes non linéaires.
― 6 min lire
Le CERN met à jour les arrêts de faisceau pour améliorer la sécurité et l'efficacité des faisceaux de particules à haute énergie.
― 7 min lire
Clarifier les limites opérationnelles assure la sécurité des voitures autonomes.
― 7 min lire
La transfert conscient améliore la sécurité et la performance dans les applications d'apprentissage par renforcement.
― 8 min lire
Une nouvelle approche des véhicules autonomes qui met l'accent sur la sécurité et le confort.
― 7 min lire
Une nouvelle méthode améliore la vérification de la sécurité des réseaux de neurones dans des systèmes critiques.
― 7 min lire
Un guide pour gérer des objectifs variés dans les processus de décision en utilisant des ensembles d'aspirations.
― 5 min lire
Une nouvelle approche simplifie la sécurité et l'utilité dans l'entraînement des modèles de langage.
― 12 min lire
Faire des recherches sur de nouveaux traitements à travers des petites expériences, c'est mettre la sécurité des patients en priorité.
― 7 min lire
Un cadre d'évaluation complet pour les chatbots de santé est introduit pour améliorer leur efficacité.
― 8 min lire
Examiner les effets des mises à jour sur la sécurité, le biais et l'authenticité dans la génération d'images.
― 9 min lire