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

25 Dec 2019Muhammad UsmanWenxi WangKaiyuan WangMarko VasicHaris VikaloSarfraz Khurshid

Relational properties, e.g., the connectivity structure of nodes in a distributed system, have many applications in software design and analysis. However, such properties often have to be written manually, which can be costly and error-prone... (read more)

PDF Abstract


No code implementations yet. Submit your code now


Results from the Paper

  Submit results from this paper to get state-of-the-art GitHub badges and help the community compare results to other papers.

Methods used in the Paper

🤖 No Methods Found Help the community by adding them if they're not listed; e.g. Deep Residual Learning for Image Recognition uses ResNet