Auto-formalized versions of GSM8K and MATH500 auto-formalized and filtered with Goedel models
Ujan PRO
Ujan
·
AI & ML interests
NLP, Speech
Recent Activity
updated a dataset 12 minutes ago
Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover_judge published a dataset 12 minutes ago
Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover_judge updated a dataset about 10 hours ago
Ujan/gsm8k_formal_eval_Phi-4-mini-reasoningOrganizations
