
LLEMMA is a domain-specific language model for mathematics, outperforming existing models on mathematical benchmarks and enabling tool use and formal theorem proving without further finetuning.


coremsg

llemma-an-open-language-model-for-mathematics-at-iclr-2024


LLEMMA: An Open Language Model for Mathematics at ICLR 2024


title_rewrite


LLEMMA is a domain-specific language model for mathematics, outperforming known models on mathematical benchmarks and enabling tool use and formal theorem proving without further finetuning.
