thanhlecongg/FormalBench download history
thanhlecongg/FormalBench is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 5,636 times (264 in the last 7 days), and 12,028 times in total. It ranks #5,156 among datasets by monthly downloads.