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

Devs

MathGAP: Out-of-Distribution Evaluation on Problems with Arbitrarily Complex Proofs | Read Paper on Bytez