StatAILab/StatProver download history

StatAILab/StatProver is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 34 times (8 in the last 7 days), and 173 times in total. It ranks #248,758 among datasets by monthly downloads.

An Automated Statistical Proof Assistant StatProver is developed by StatAI Lab, led by Prof. Fan Zhou at the School of Statistics and Data Science, Shanghai University of Finance and Economics. As part of the lab’s broader research on statistical reasoning with large language models, this proj

Open StatAILab/StatProver on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.