Un nouvel algorithme améliore la vérification des réseaux de neurones pour fiabilité et équité.
― 7 min lire
La science de pointe expliquée simplement
Un nouvel algorithme améliore la vérification des réseaux de neurones pour fiabilité et équité.
― 7 min lire
Comprendre les flux de gaz quand on mélange de l'hydrogène et du gaz naturel dans les pipelines.
― 7 min lire
Une nouvelle approche améliore l'efficacité des attaques sur les modèles de langage axés sur la sécurité.
― 8 min lire
Un aperçu des comportements système et des défis dans les processus concurrents avec TSO.
― 7 min lire
Examiner l'impact des accidents de la faune sur la sécurité ferroviaire dans le sud de la Pologne.
― 9 min lire
Un nouveau système évalue les risques de sécurité dans les images générées par des modèles d'IA.
― 10 min lire
Une nouvelle approche améliore la sécurité dans les systèmes avec des incertitudes en utilisant l'analyse de la portée.
― 7 min lire
Un cadre pour améliorer la sécurité des agents LLM dans différentes applications.
― 9 min lire
Cette étude examine les troubles musculo-squelettiques chez les mineurs zambiens et leur impact.
― 7 min lire
Une étude sur l'utilisation de l'apprentissage par renforcement et des mesures de sécurité pour les inspections de vaisseaux spatiaux.
― 9 min lire
Évaluer les risques de résultats biaisés chez les robots en utilisant des modèles de langage.
― 8 min lire
Des eHMIs efficaces améliorent la sécurité et l'interaction dans les espaces urbains.
― 7 min lire
Apprends pourquoi des ID uniques pour les systèmes d'IA améliorent la sécurité et la confiance.
― 9 min lire
Reddit offre un soutien essentiel pour ceux qui naviguent dans l'usage de drogues et la récupération.
― 8 min lire
De nouveaux scintillateurs en plastique améliorent la détection des neutrons pour la sécurité nucléaire.
― 8 min lire
Les taxis volants pourraient transformer le transport urbain en évitant le trafic et en offrant des trajets rapides.
― 7 min lire
Une méthode pour améliorer la collecte de données pour les systèmes qui évoluent avec le temps.
― 7 min lire
Un nouveau cadre garantit la stabilité et la sécurité dans le contrôle des systèmes non linéaires.
― 8 min lire
INDICT améliore la sécurité du code et son utilité grâce à une analyse à double critique.
― 8 min lire
Les CMDPs fusionnent la maximisation des récompenses avec la sécurité dans les applications d'IA.
― 7 min lire
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