update readme

README.md

@@ -53,7 +53,7 @@ Further performance can be extracted by using majority voting:
 | Minerva | 540B | 78.5%       | 30.8%     | 75.0%           | -         | 50.3%      |
 
 ### Tool Use and Theorem Proving
-In addition to chain-of-thought reasoning, Llemma has strong capabilities in computational mathematics tasks. For tool use and formal theorem proving evaluations, see [our paper](#).
+In addition to chain-of-thought reasoning, Llemma has strong capabilities in computational mathematics tasks. For tool use and formal theorem proving evaluations, see [our paper](http://arxiv.org/abs/2310.10631).
 
 ### Citation
 ```