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 about 16 hours ago
Ujan/math500_formal_eval_Falcon-H1R-7B_prover_judge published a dataset about 16 hours ago
Ujan/math500_formal_eval_Falcon-H1R-7B_prover_judge updated a dataset about 16 hours ago
Ujan/math500_formal_eval_NVIDIA-Nemotron-Nano-12B-v2_prover_judgeOrganizations
