Math Olympiad Agent

Overview

The Math Olympiad Agent is designed to solve International Mathematical Olympiad-level problems using a self-verification pipeline. It is ideal for students and educators looking to enhance their problem-solving skills with rigorous TeX proofs.