AI-Math-TCS/tcs_find_lemma download history
AI-Math-TCS/tcs_find_lemma is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 53 times (11 in the last 7 days), and 778 times in total. It ranks #177,952 among datasets by monthly downloads.