@conference{Opedaletal25,
  title = {{MathGAP}: Out-of-Distribution Evaluation on Problems with Arbitrarily Complex Proofs},
  booktitle = {The Thirteenth International Conference on Learning Representations (ICLR)},
  month = apr,
  year = {2025},
  note = {*equal contribution},
  author = {Opedal*, A. and Shirakami*, H. and Sch{\"o}lkopf, B. and Saparov, A. and Sachan, M.},
  month_numeric = {4}
}