Longhui98

metamath_maj2

Longhui98/metamath_maj2

metamath_maj2 is a machine learning model from Longhui98. Use it for the machine learning task on the model card, and read the license before you ship it in a product.