Felice di condividere un nuovo documento! Progettare il comportamento dei modelli è difficile: i valori desiderabili spesso tirano in direzioni opposte. L'approccio di Jifan genera sistematicamente scenari in cui i valori sono in conflitto, aiutandoci a vedere dove le specifiche mancano di copertura e come i diversi modelli bilanciano i compromessi.