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.
Try NowMathematical reasoning
Formal theorem proving
Chain-of-thought math problem
4,096 tokens
4,096 tokens
$0.80 per 1M tokens
$1.20 per 1M tokens
$15 per 1K calls
$0.19 per 1K calls