AndrewZeng

metamath-llemma-7b

AndrewZeng/metamath-llemma-7b

metamath-llemma-7b is a machine learning model from AndrewZeng. Use it for the machine learning task on the model card, and read the license before you ship it in a product. It is set up for transformers. The card lists the license as apache-2.0.