---
license: llama2
datasets:
- EleutherAI/proof-pile-2
language:
- en
tags:
- math
- reasoning
---