Graph Neural Reasoning May Fail in Proving Boolean Unsatisfiability

Open in new window