https://arxiv.org/abs/2410.13502
[2410.13502] MathGAP: Out-of-Distribution Evaluation on Problems with Arbitrarily Complex Proofs
Abstract page for arXiv paper 2410.13502: MathGAP: Out-of-Distribution Evaluation on Problems with Arbitrarily Complex Proofs