Ujan/gsm8k_formal_goedel_few_shot_filtered_Goedel-Prover-V2-32B
Viewer • Updated • 1.18k • 9
Formal v1
Auto-formalized versions of GSM8K with the state-of-the-art Goedel-Prover-V2 and filtered using Deepseek-Prover-V2
-
-
Ujan/gsm8k_formal_goedel_zero_shot_filtered_DeepSeek-Prover-V2-7B
Viewer • Updated • 1.15k • 7 -
Ujan/gsm8k_formal_goedel_zero_shot_filtered_Goedel-Prover-V2-32B
Viewer • Updated • 1.23k • 7 -
Ujan/gsm8k_formal_goedel_few_shot
Viewer • Updated • 1.3k • 8 -
Ujan/gsm8k_formal_goedel_few_shot_filtered_DeepSeek-Prover-V2-7B
Viewer • Updated • 967 • 11 -
Ujan/gsm8k_formal_goedel_zero_shot
Viewer • Updated • 1.31k • 49