AI-Math-TCS/tcs_proof_strategy download history
AI-Math-TCS/tcs_proof_strategy is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 90 times (61 in the last 7 days), and 705 times in total. It ranks #122,709 among datasets by monthly downloads.