ID: d035c9e5-4b99-433d-abbb-21ff2ad81f09

Description: 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.

Is Leader: No

Active: Yes

Validator Type: LLM

Created At: 9/3/2025, 9:58:42 PM

Updated At: 9/3/2025, 9:58:42 PM