Combinatorial Optimization and Reasoning with Graph Neural Networks | Synapse