The lack of training data for maths, especially those at the Olympiad level, motivated us to generate everything synthetically. Key to this process is the idea of "symbolic deduction and traceback". We start from random diagrams, try to find all properties through forward

→ View original post on X — @lmthang