README.md

Llemma: an open language model for mathematics

ArXiv | Models | Data | Code | Blog | Sample Explorer

Repository for Llemma: an open language model for mathematics [Azerbayev et al 2023].

This repository hosts data and training code related to the following artifacts:

Name	HF Hub Link
Llemma 7b	EleutherAI/llemma_7b
Llemma 34b	EleutherAI/llemma_34b
Proof-Pile-2	EleutherAI/ProofPile2
AlgebraicStack	EleutherAI/AlgebraicStack

This repository also contains submodules related to the overlap, fine-tuning, and theorem proving experiments described in the paper. Additional evaluation code is in a fork of the Eleuther LM Evaluation Harness.

Directories

This repository contains the following directories

• proof_pile_2: scripts for downloading and preprocessing data.
• gpt-neox: git submodule containing a modified branch of EleutherAI/gpt-neox
• lm-evaluation-harness: code for all evaluations, except formal2formal theorem proving.
• llemma_formal2formal: git submodule containing scripts for the formal2formal experiments
• overlap: git submodule containing the overlap and memorization analysis
• finetunes: git submodule containing scripts for the fine-tuning experiments

Because this project contains submodules, you should clone this project with the --recurse-submodules flag or, alternatively, run git submodule update --init --recursive from within the project directory after cloning the project. After running git pull, you should also run git submodule update.

Citation

Please cite the following:

@misc{azerbayev2023llemma,
      title={Llemma: An Open Language Model For Mathematics}, 
      author={Zhangir Azerbayev and Hailey Schoelkopf and Keiran Paster and Marco Dos Santos and Stephen McAleer and Albert Q. Jiang and Jia Deng and Stella Biderman and Sean Welleck},
      year={2023},
      eprint={2310.10631},
      archivePrefix={arXiv},
      primaryClass={cs.CL}
}