This is an automated message from the [Librarian Bot](https://huggingface.co/librarian-bots). I found the following papers similar to this paper. 

The following papers were recommended by the Semantic Scholar API 

* [OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text](https://huggingface.co/papers/2310.06786) (2023)
* [TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models](https://huggingface.co/papers/2310.10180) (2023)
* [FIMO: A Challenge Formal Dataset for Automated Theorem Proving](https://huggingface.co/papers/2309.04295) (2023)
* [Qwen Technical Report](https://huggingface.co/papers/2309.16609) (2023)
* [Code Llama: Open Foundation Models for Code](https://huggingface.co/papers/2308.12950) (2023)

 Please give a thumbs up to this comment if you found it helpful!

 If you want recommendations for any Paper on Hugging Face checkout [this](https://huggingface.co/spaces/librarian-bots/recommend_similar_papers) Space