Luca Bortolussi

Un nuovo metodo per integrare la logica temporale nei sistemi di intelligenza artificiale.

Un metodo per derivare i requisiti di sicurezza dai dati sul comportamento del sistema.

Assicurarsi che le spiegazioni dell'IA siano chiare e affidabili per la fiducia degli utenti.

Scopri come i transformer elaborano i dati e si adattano a nuovi compiti.

Combinare tecniche avanzate semplifica il design dei circuiti analogici per una maggiore efficienza.