cyang98/TCSAlgBENCH download history
cyang98/TCSAlgBENCH is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 451 times (451 in the last 7 days), and 451 times in total. It ranks #35,929 among datasets by monthly downloads.
TCSAlgBench Research-level proof discovery in theoretical computer science. TCSAlgBench evaluates whether language models can develop rigorous mathematical arguments for algorithm design and sample- or runtime-complexity guarantees. It covers upper bounds that require constructing and