A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)

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…