AI-Math-TCS/tcs_dags download history
AI-Math-TCS/tcs_dags is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 296 times (6 in the last 7 days), and 1,354 times in total. It ranks #49,640 among datasets by monthly downloads.
tcs_dags Structured theorem-dependency graphs extracted from theoretical computer science papers. Configs identify the conference and year; splits identify the model used to construct the graph. Cycle-repair provenance Every FOCS/STOC 2026 graph in the gemini_3_8_flash
Spaces using tcs_dags
- HerrHruby/tcs-dag-viewer 0 likes