Olympiad-level formal mathematical reasoning with reinforcement learning

3 points | by mauricioc 5 hours ago