Senang berbagi makalah baru! Merancang perilaku model itu sulit - nilai-nilai yang diinginkan sering menarik ke arah yang berlawanan. Pendekatan Jifan secara sistematis menghasilkan skenario di mana nilai bertentangan, membantu kami melihat di mana spesifikasi kehilangan cakupan dan bagaimana model yang berbeda menyeimbangkan tradeoff.