AI-MO
Extended reference set of olympiad problems with verified step-by-step solutions, used for Chain-of-Thought and formal reasoning training.
Last 30 days
No queryable preview
This dataset is not available in a queryable form — usually an unusual file format or a repository too large to convert. The original source may still be readable.