Ujan/gsm8k_formal_eval_Qwen3.5-9B_prover_judge
Viewer • Updated • 719 • 4
Ujan PRO
Ujan
·
AI & ML interests
NLP, Speech
Recent Activity
updated a dataset 1 day ago
Ujan/gsm8k_formal_eval_Qwen3.5-9B_prover_judge published a dataset 1 day ago
Ujan/gsm8k_formal_eval_Qwen3.5-9B_prover_judge updated a dataset 1 day ago
Ujan/gsm8k_formal_eval_Falcon-H1R-7B_prover_judgeOrganizations
Ujan/gsm8k_formal_eval_Falcon-H1R-7B_prover_judge
Viewer • Updated • 520 • 4
Ujan/gsm8k_formal_eval_Olmo-3-7B-Think_prover_judge
Viewer • Updated • 384 • 4
Ujan/gsm8k_formal_eval_NVIDIA-Nemotron-Nano-12B-v2_prover_judge
Viewer • Updated • 498 • 5
Ujan/gsm8k_formal_eval_Falcon-H1R-7B_prover
Viewer • Updated • 691 • 6
Ujan/gsm8k_formal_eval_Qwen3-4B-Thinking-2507_prover_judge
Viewer • Updated • 636 • 7
Ujan/gsm8k_formal_eval_Qwen3-8B_prover_judge
Viewer • Updated • 668 • 7
Ujan/gsm8k_formal_eval_Ministral-3-8B-Reasoning-2512_prover_judge
Viewer • Updated • 20 • 7
Ujan/gsm8k_formal_eval_Falcon-H1R-7B
Viewer • Updated • 759 • 17
Ujan/gsm8k_formal_eval_NVIDIA-Nemotron-Nano-12B-v2_prover
Viewer • Updated • 676 • 15
Ujan/gsm8k_formal_eval_Olmo-3-7B-Think_prover
Viewer • Updated • 639 • 13
Ujan/gsm8k_formal_eval_Ministral-3-8B-Reasoning-2512_prover
Viewer • Updated • 32 • 14
Ujan/gsm8k_formal_eval_NVIDIA-Nemotron-Nano-12B-v2
Viewer • Updated • 797 • 16
Ujan/gsm8k_formal_eval_Ministral-3-8B-Reasoning-2512
Viewer • Updated • 44 • 13
Ujan/gsm8k_formal_eval_Qwen3-4B-Thinking-2507_prover
Viewer • Updated • 821 • 12
Ujan/gsm8k_formal_eval_Qwen3.5-9B_prover
Viewer • Updated • 764 • 15
Ujan/gsm8k_formal_eval_Olmo-3-7B-Think
Viewer • Updated • 733 • 14
Ujan/gsm8k_formal_eval_Qwen3.5-9B
Viewer • Updated • 837 • 15
Ujan/gsm8k_formal_eval_Qwen3-8B_prover
Viewer • Updated • 799 • 16
Ujan/gsm8k_formal_eval_Qwen3-4B-Thinking-2507
Viewer • Updated • 885 • 15
Ujan/gsm8k_formal_eval_Qwen3-8B
Viewer • Updated • 880 • 19
Ujan/gsm8k_formal_prover_judge
Viewer • Updated • 886 • 54
Ujan/math_500_formal_prover_judge
Viewer • Updated • 195 • 23
Ujan/math500_formal_prover
Viewer • Updated • 234 • 21
Ujan/gsm8k_formal_prover
Viewer • Updated • 1.15k • 21
Ujan/math500_formal
Viewer • Updated • 456 • 21
Ujan/gsm8k_formal
Viewer • Updated • 1.3k • 13
Ujan/deepmath_trace_10
Viewer • Updated • 9 • 18
Ujan/deepmath_trace_9
Viewer • Updated • 4.22k • 10
Ujan/deepmath_trace_8
Viewer • Updated • 47k • 23