Articoli più recenti per Sicurezza

Un nuovo benchmark valuta l'efficacia dei modelli linguistici nelle applicazioni robotiche.

Uno strumento per verificare i protocolli di comunicazione nelle app Clojure.

I robot stanno cambiando il modo in cui viviamo e lavoriamo in diversi contesti.

Un approccio formale per verificare la correttezza dei protocolli di consenso basati su DAG.

Le ricerche mostrano che piccole modifiche negli input possono portare a output dannosi nei LLM.

Un nuovo modello migliora il monitoraggio della sicurezza per i grandi modelli di linguaggio contro contenuti nocivi.

Il framework RSHPN migliora l'affidabilità e la sicurezza nei sistemi robotici grazie a un'analisi migliore.

Combinare la raggiungibilità di Hamilton-Jacobi con l'apprendimento per rinforzo migliora la sicurezza nei sistemi di controllo.

Un nuovo benchmark mira a valutare in modo efficace i rischi legati alla sicurezza dell'IA.

Le regole guidano l'uso sicuro e giusto delle tecnologie AI in diversi settori.

Uno sguardo ai pregiudizi nei modelli linguistici e al loro impatto sulla giustizia.

La logica dà una solida base per un apprendimento efficace nella scienza e nell'ingegneria.

Esaminare i rischi e le misure di sicurezza per i robot alimentati da LLM.

I robot umanoidi stanno cambiando il modo in cui affrontiamo il lavoro in vari settori.

Uno sguardo su come valutare i chatbot per il benessere mentale per un supporto utente efficace.

I modelli Phi-3 si concentrano sulla sicurezza e sull'allineamento con i valori umani.

Esaminare come l'AI spiegabile può aiutare a certificare i sistemi di AI.

Uno sguardo al potenziale dell'IA per migliorare la sicurezza dei trattori.

Questo documento descrive modelli di protezione per promuovere un'IA sicura nell'istruzione.

Esplorare l'unlearning delle macchine e il suo ruolo nel migliorare la sicurezza e la privacy dell'AI generativa.

Un programma per insegnare il model checking per lo sviluppo di software affidabile.

Un nuovo framework migliora la sicurezza nelle auto a guida autonoma grazie a metodi formali.

Un nuovo framework migliora la sicurezza per i sistemi ciber-fisici controllati da AI.

Esaminare strategie per creare sistemi di intelligenza artificiale che diano priorità alla sicurezza e minimizzino i rischi.

Gemma Scope offre strumenti per capire meglio i modelli di linguaggio e migliorare la sicurezza dell'IA.

Esplora il ruolo delle Funzioni di Controllo Barriera nel mantenere la sicurezza in vari sistemi.

Un nuovo sistema migliora il controllo dei veicoli su terreni accidentati usando due metodi.

Questo studio analizza gli infortuni dovuti alle interazioni tra robot e umani nei contesti industriali.

Un nuovo modo per migliorare come i robot capiscono e rispondono agli utenti.

Un nuovo approccio semplifica la progettazione del controllo garantendo sicurezza nei sistemi non lineari.

Il CERN aggiorna i fermi fasci per migliorare la sicurezza e l'efficienza dei fasci di particelle ad alta energia.

Chiarire i limiti operativi garantisce sicurezza per le auto a guida autonoma.

La Transferenza Cautelosa-Aware migliora la sicurezza e le prestazioni nelle applicazioni di apprendimento per rinforzo.

Un approccio innovativo ai veicoli a guida autonoma che mette in primo piano sicurezza e comfort.

Un nuovo metodo migliora la verifica di sicurezza delle reti neurali nei sistemi critici.

Una guida per gestire obiettivi diversi nei processi decisionali usando set di aspirazione.

Un nuovo approccio semplifica la sicurezza e l'aiuto nella formazione dei modelli linguistici.

Ricercare nuovi trattamenti attraverso piccoli esperimenti mette al primo posto la sicurezza dei pazienti.

Viene introdotto un framework di valutazione completo per i chatbot nel settore sanitario per migliorarne l'efficacia.

Esaminando gli effetti degli aggiornamenti su sicurezza, pregiudizi e autenticità nella generazione di immagini.