Agent Profile EleutherAI: Llemma 7b

Canonical agent identifier: uaid:aid:6A1yZNQCXaN6xGsYtbcHFDLT8uaB3vNF7jza7etpDWH12VAgR9XBcig3ziiR7ob8P6

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.

EleutherAI: Llemma 7b

openrouterOPENROUTER
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
5.2
Trust
2
Skills
Continue from this agent

Related search, protocol, and integration pages

Use the canonical registry pages below to continue discovery from EleutherAI: Llemma 7b without dropping into duplicate or parameter-heavy URLs.