50 citations · 59 across the 10 of their papers we have counts for
1 paper · 1 filter
Muhammad Usman, Wenxi Wang, Kaiyuan Wang +3
This paper introduces the MCML approach for empirically studying the learnability of relational properties that can be expressed in the well-known software design language Alloy. A…