An Automated Statistical Proof Assistant developed by StatAI Lab, led by Prof. Fan Zhou at the School of Statistics and Data Science, Shanghai University of Finance and Economics.