--- title: Llemma: An Open Language Model For Mathematics | daily.dev description: EleutherAI releases Llemma, open-weight language models (7B and 34B parameters) specialized for mathematics. Initialized from Code Llama weights and trained on... canonical: https://daily.dev/posts/llemma-an-open-language-model-for-mathematics-gyxzduy2u twitter:card: summary_large_image twitter:site: @dailydotdev og:type: website og:site_name: daily.dev og:title: Llemma: An Open Language Model For Mathematics | daily.dev og:description: EleutherAI releases Llemma, open-weight language models (7B and 34B parameters) specialized for mathematics. Initialized from Code Llama weights and trained on... og:url: https://daily.dev/posts/llemma-an-open-language-model-for-mathematics-gyxzduy2u og:image: https://api.daily.dev/og/posts/gYXzdUy2u.png og:image:alt: Llemma: An Open Language Model For Mathematics og:image:width: 1200 og:image:height: 630 og:locale: en --- > ## Documentation Index > Fetch the complete documentation index at: https://daily.dev/llms.txt > Use this file to discover all available pages before exploring further. # Llemma: An Open Language Model For Mathematics **[EleutherAI](https://daily.dev/sources/eleutherai)** · 6 min read · 0 upvotes · 0 comments ## Summary EleutherAI releases Llemma, open-weight language models (7B and 34B parameters) specialized for mathematics. Initialized from Code Llama weights and trained on Proof-Pile II — a 55B token dataset of mathematical and scientific content including arXiv papers, web math pages, and mathematical code — Llemma outperforms Minerva on an equi-parameter basis and achieves state-of-the-art results among open models on MATH and GSM8k benchmarks. Notably, Llemma is the first open base model to demonstrate in-context formal theorem proving, surpassing GPT-4-based approaches on the miniF2F benchmark. Models, dataset, and training code are all publicly released. A memorization analysis shows Llemma's performance is not explained by training set overlap. ## Full article daily.dev links to this article rather than hosting it. Read it at the original source: ## Similar posts on daily.dev - [Mistral Releases Leanstral 1.5, an Open Model That Solved 587 of 672 Putnam Math Problems](https://daily.dev/posts/mistral-releases-leanstral-1-5-an-open-model-that-solved-587-of-672-putnam-math-problems-vmefgvpn5) · DevOps.com · 27 upvotes · 7 comments - [The Architecture Behind Open-Source LLMs](https://daily.dev/posts/the-architecture-behind-open-source-llms-vqh5xymdw) · ByteByteGo · 2 upvotes · 0 comments - [I finally found an open-source local LLM that actually competes with cloud AI](https://daily.dev/posts/i-finally-found-an-open-source-local-llm-that-actually-competes-with-cloud-ai-2d3s7fw6c) · XDA Developers · 1 upvotes · 0 comments - [VaultGemma: The world's most capable differentially private LLM](https://daily.dev/posts/vaultgemma-the-world-s-most-capable-differentially-private-llm-svdujunfv) · Hacker News · 1 upvotes · 0 comments --- Tags: [#open-source](https://daily.dev/tags/open-source), [#llm](https://daily.dev/tags/llm) [View this post on daily.dev](https://daily.dev/posts/llemma-an-open-language-model-for-mathematics-gyxzduy2u) ```json {"@context":"https://schema.org","@graph":[{"@type":"Organization","@id":"https://daily.dev/#organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180},"sameAs":["https://twitter.com/dailydotdev","https://github.com/dailydotdev","https://www.linkedin.com/company/daily-dev-ltd"]},{"@type":"WebSite","@id":"https://daily.dev/#website","url":"https://daily.dev","name":"daily.dev","publisher":{"@id":"https://daily.dev/#organization"},"potentialAction":{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https://daily.dev/search?q={search_term_string}"},"query-input":"required name=search_term_string"}}]} {"@context":"https://schema.org","@type":"TechArticle","headline":"Llemma: An Open Language Model For Mathematics","url":"https://daily.dev/posts/llemma-an-open-language-model-for-mathematics-gyxzduy2u","mainEntityOfPage":{"@type":"WebPage","@id":"https://daily.dev/posts/llemma-an-open-language-model-for-mathematics-gyxzduy2u"},"datePublished":"2026-08-02T07:04:32.552Z","dateModified":"2026-08-02T07:32:04.312Z","description":"EleutherAI releases Llemma, open-weight language models (7B and 34B parameters) specialized for mathematics. Initialized from Code Llama weights and trained on...","image":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/7fa3fbd6e99da7e05ab42115e7e68fde?_a=AQAEuop","thumbnailUrl":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/7fa3fbd6e99da7e05ab42115e7e68fde?_a=AQAEuop","isAccessibleForFree":true,"articleSection":"EleutherAI","inLanguage":"en","publisher":{"@type":"Organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180}},"author":{"@type":"Organization","name":"EleutherAI","logo":"https://media.daily.dev/image/upload/s--aAcRyWGF--/f_auto,q_auto/v1785654263/logos/eleutherai","url":"https://daily.dev/sources/eleutherai"},"commentCount":0,"discussionUrl":"https://daily.dev/posts/llemma-an-open-language-model-for-mathematics-gyxzduy2u","interactionStatistic":[{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":0},{"@type":"InteractionCounter","interactionType":{"@type":"CommentAction"},"userInteractionCount":0}],"keywords":"open-source,llm","timeRequired":"PT6M"} {"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https://daily.dev"},{"@type":"ListItem","position":2,"name":"EleutherAI","item":"https://daily.dev/sources/eleutherai"},{"@type":"ListItem","position":3,"name":"Llemma: An Open Language Model For Mathematics"}]} ```