Update README.md

README.md

@@ -5,11 +5,12 @@ Repository for [Llemma: an open language model for mathematics [Azerbayev et al
 
 This repository hosts data and training code related to the following artifacts:
 
-- [**Llemma 7b**]() [TODO: huggingface links when available]
-- [**Llemma 34b**]()
-- [**Proof-Pile-2**]()
- - [**AlgebraicStack**]()
-
+| Name | HF Hub Link |
+| ---------- | ------------------ | 
+| **Llemma 7b** |[`EleutherAI/llemma_7b`](https://huggingface.co/EleutherAI/llemma_7b) | 
+| **Llemma 34b** |[`EleutherAI/llemma_34b`](https://huggingface.co/EleutherAI/llemma_34b) | 
+| **Proof-Pile-2** |[`EleutherAI/ProofPile2`](https://huggingface.co/EleutherAI/proofpile2) | 
+|   **AlgebraicStack** |[`EleutherAI/AlgebraicStack`](https://huggingface.co/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](https://github.com/wellecks/lm-evaluation-harness).