Graph Neural Networks and Boolean Satisfiability
Semantic Compositionality through Recursive Matrix-Vector Spaces