3N3G/tcs-dags-clean download history

3N3G/tcs-dags-clean is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 36 times (2 in the last 7 days), and 36 times in total. It ranks #237,825 among datasets by monthly downloads.

tcs-dags-clean FOCS 2024 paper dependency DAGs with every depends_on edge audited, and the standalone proof questions that target them, as used by the tcs knowledge-injection experiments. Private working copy; not the canonical AI-Math-TCS release. Built by scripts/hf_export.py in the

Open 3N3G/tcs-dags-clean on Hugging Face

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