Un nuovo algoritmo migliora la verifica delle reti neurali per affidabilità e imparzialità.
― 5 leggere min
Scienza all'avanguardia spiegata semplicemente
Un nuovo algoritmo migliora la verifica delle reti neurali per affidabilità e imparzialità.
― 5 leggere min
Capire come si muovono i gas quando mescoli idrogeno e gas naturale nei tubi.
― 6 leggere min
Un nuovo approccio migliora l'efficacia degli attacchi sui modelli di linguaggio focalizzati sulla sicurezza.
― 6 leggere min
Uno sguardo ai comportamenti del sistema e alle sfide nei processi concorrenti con TSO.
― 6 leggere min
Esaminando l'impatto degli incidenti con la fauna sulla sicurezza ferroviaria nel sud della Polonia.
― 8 leggere min
Un nuovo sistema valuta i rischi di sicurezza nelle immagini generate da modelli di AI.
― 8 leggere min
Un nuovo approccio migliora la sicurezza nei sistemi con incertezze usando l'analisi della raggiungibilità.
― 6 leggere min
Un framework per migliorare la sicurezza negli agenti LLM in diverse applicazioni.
― 7 leggere min
Questo studio analizza i disturbi muscoloscheletrici tra i minatori zambiani e il loro impatto.
― 6 leggere min
Uno studio sull'uso dell'apprendimento per rinforzo e misure di sicurezza per le ispezioni delle navette spaziali.
― 7 leggere min
Valutare i rischi di risultati distorti nei robot usando modelli di linguaggio.
― 6 leggere min
eHMIs efficaci migliorano la sicurezza e l'interazione negli spazi urbani.
― 6 leggere min
Scopri perché gli ID unici per i sistemi AI migliorano la sicurezza e la fiducia.
― 7 leggere min
Reddit offre un supporto fondamentale per chi sta affrontando l'uso di droghe e la ripresa.
― 6 leggere min
Nuovi scintillatori plastici migliorano il rilevamento dei neutroni per la sicurezza nucleare.
― 7 leggere min
I taxi volanti potrebbero rivoluzionare il trasporto urbano evitando il traffico stradale e offrendo corse veloci.
― 6 leggere min
Un metodo per migliorare la raccolta dei dati per sistemi che cambiano nel tempo.
― 5 leggere min
Un nuovo framework assicura stabilità e sicurezza nel controllo dei sistemi non lineari.
― 7 leggere min
INDICT migliora la sicurezza del codice e la sua utilità utilizzando un'analisi a doppia critica.
― 6 leggere min
I CMDP combinano la massimizzazione delle ricompense con la sicurezza nelle applicazioni di intelligenza artificiale.
― 6 leggere min
Un nuovo benchmark valuta l'efficacia dei modelli linguistici nelle applicazioni robotiche.
― 7 leggere min
Uno strumento per verificare i protocolli di comunicazione nelle app Clojure.
― 6 leggere min
I robot stanno cambiando il modo in cui viviamo e lavoriamo in diversi contesti.
― 7 leggere min
Un approccio formale per verificare la correttezza dei protocolli di consenso basati su DAG.
― 11 leggere min
Le ricerche mostrano che piccole modifiche negli input possono portare a output dannosi nei LLM.
― 6 leggere min
Un nuovo modello migliora il monitoraggio della sicurezza per i grandi modelli di linguaggio contro contenuti nocivi.
― 7 leggere min
Il framework RSHPN migliora l'affidabilità e la sicurezza nei sistemi robotici grazie a un'analisi migliore.
― 7 leggere min
Combinare la raggiungibilità di Hamilton-Jacobi con l'apprendimento per rinforzo migliora la sicurezza nei sistemi di controllo.
― 4 leggere min
Un nuovo benchmark mira a valutare in modo efficace i rischi legati alla sicurezza dell'IA.
― 8 leggere min
Le regole guidano l'uso sicuro e giusto delle tecnologie AI in diversi settori.
― 7 leggere min
Uno sguardo ai pregiudizi nei modelli linguistici e al loro impatto sulla giustizia.
― 6 leggere min
La logica dà una solida base per un apprendimento efficace nella scienza e nell'ingegneria.
― 7 leggere min
Esaminare i rischi e le misure di sicurezza per i robot alimentati da LLM.
― 8 leggere min
I robot umanoidi stanno cambiando il modo in cui affrontiamo il lavoro in vari settori.
― 6 leggere min
Uno sguardo su come valutare i chatbot per il benessere mentale per un supporto utente efficace.
― 6 leggere min
I modelli Phi-3 si concentrano sulla sicurezza e sull'allineamento con i valori umani.
― 7 leggere min
Esaminare come l'AI spiegabile può aiutare a certificare i sistemi di AI.
― 6 leggere min
Uno sguardo al potenziale dell'IA per migliorare la sicurezza dei trattori.
― 6 leggere min
Questo documento descrive modelli di protezione per promuovere un'IA sicura nell'istruzione.
― 5 leggere min
Esplorare l'unlearning delle macchine e il suo ruolo nel migliorare la sicurezza e la privacy dell'AI generativa.
― 7 leggere min