Ujan/gsm8k_formal
Viewer • Updated • 1.3k • 13
Formal v2
Auto-formalized versions of GSM8K and MATH500 auto-formalized and filtered with Goedel models
Auto-formalized versions of GSM8K and MATH500 auto-formalized and filtered with Goedel models