Empirical Inference
Conference Paper
2025
MathGAP: Out-of-Distribution Evaluation on Problems with Arbitrarily Complex Proofs
arXiv
| Author(s): | Opedal*, A. and Shirakami*, H. and Schölkopf, B. and Saparov, A. and Sachan, M. |
| Links: | |
| Book Title: | The Thirteenth International Conference on Learning Representations (ICLR) |
| Year: | 2025 |
| Month: | April |
| BibTeX Type: | Conference Paper (conference) |
| Event Place: | Singapore |
| State: | Published |
| Note: | *equal contribution |
BibTeX
@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}
}