cjc0013/ouroboros-erdos64-a100-campaign download history

cjc0013/ouroboros-erdos64-a100-campaign is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 202 times (87 in the last 7 days), and 268 times in total. It ranks #67,481 among datasets by monthly downloads.

Ouroboros Erdős #64 A100 campaign This is a process-and-evidence archive for an AI-directed computational campaign on the open Erdős–Gyárfás conjecture (Erdős Problem #64): every finite graph of minimum degree at least 3 should contain a cycle whose length is a power of two.

Open cjc0013/ouroboros-erdos64-a100-campaign on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.