Empirical Inference
Conference Paper
2025
MathGAP: Out-of-Distribution Evaluation on Problems with Arbitrarily Complex Proofs
| Author(s): | Opedal*, A. and Shirakami*, H. and Schölkopf, B. and Saparov, A. and Sachan, M. |
| Book Title: | The Thirteenth International Conference on Learning Representations (ICLR) |
| Year: | 2025 |
| Month: | April |
| Bibtex Type: | Conference Paper (conference) |
| Event Place: | Singapore |
| State: | Accepted |
| 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},
slug = {opedaletal25},
author = {Opedal*, A. and Shirakami*, H. and Sch{\"o}lkopf, B. and Saparov, A. and Sachan, M.},
month_numeric = {4}
}