TY  - RPRT
TI  - MathGAP: Out-of-Distribution Evaluation on Problems with Arbitrarily Complex Proofs
AU  - Andreas Opedal
AU  - Haruki Shirakami
AU  - Bernhard Schölkopf
AU  - Abulhair Saparov
AU  - Mrinmaya Sachan
PY  - 2025
UR  - https://arxiv.org/abs/2410.13502
ID  - 2410.13502
ER  -