MathGAP: Out-of-Distribution Evaluation on Problems with Arbitrarily Complex Proofs - Opedal, Andreas; Shirakami, Haruki; Schölkopf, Bernhard; Saparov, Abulhair; Sachan, Mrinmaya (International Conference on Learning Representations, 2025)