The largest math dataset of Olympiad problems for training LLMs
huggingface.co