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

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Opedal, Andreas, Shirakami, Haruki, Schölkopf, Bernhard, Saparov, Abulhair, Sachan, Mrinmaya
Format: Preprint
Veröffentlicht: 2024
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!