A study of the learnability of relational properties: model counting meets machine learning (MCML).

Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, Sarfraz Khurshid

Browse the full PLDI paper archive.