Loris D'Antoni

Un nuovo metodo per spiegazioni controfattuali coerenti nonostante i cambiamenti nel modello.

Nuovi metodi migliorano i risultati dei modelli linguistici mantenendo le regole grammaticali.

Impara a creare specifiche per programmi con comportamenti complessi.

Questo documento presenta un metodo per creare automaticamente semantiche formali usando interpreti.

Esplorando nuovi metodi per la generazione efficiente di programmi.

Esplorare le percezioni degli stakeholder sulla giustizia nei modelli di machine learning in mezzo alla molteplicità.