Structure based SAT dataset for analysing GNN generalisation.

Yi Fu, Anthony Tompkins, Yang Song, Maurice Pagnucco

Browse the full AISTATS paper archive.