Llemma 7B is a language model for mathematics. It was initialized with Code Llama 7B weights, and trained on the Proof-Pile-2 for 200B tokens. Llemma models are particularly strong at chain-of-thought mathematical reasoning and using computational tools for mathematics, such as Python and formal theorem provers.
With CoreAI, you can start chatting with EleutherAI: Llemma 7b instantly — no separate subscription needed. CoreAI bundles access to EleutherAI: Llemma 7b along with 300+ other AI models from Eleutherai and other providers like OpenAI, Anthropic, Google, Meta, and more.
Chat with EleutherAI: Llemma 7b and 300+ other AI models — all in one app.