Institute Homepage
Institute Homepage DE Sign In

Back

Empirical Inference Conference Paper 2025

MathGAP: Out-of-Distribution Evaluation on Problems with Arbitrarily Complex Proofs

Thumb ticker sm l1170153
Empirical Inference
Bernhard Schölkopf
  • Director

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}
}