Using Large Language Models to Generate Counterexamples in Graph TheoryComing SoonShare on Bluesky Facebook LinkedIn X (formerly Twitter) Previous Next