Ujan/math500_formal_eval_Falcon-H1R-7B_prover
Viewer • Updated • 104
Ujan PRO
Ujan
·
AI & ML interests
NLP, Speech
Recent Activity
updated a dataset about 9 hours ago
Ujan/math500_formal_eval_Falcon-H1R-7B_prover published a dataset about 9 hours ago
Ujan/math500_formal_eval_Falcon-H1R-7B_prover updated a dataset about 10 hours ago
Ujan/math500_formal_eval_Qwen3.5-9B_prover_judgeOrganizations
Ujan/math500_formal_eval_Qwen3.5-9B_prover_judge
Viewer • Updated • 137
Ujan/math500_formal_eval_Qwen3-4B-Thinking-2507_prover_judge
Viewer • Updated • 109
Ujan/math500_formal_eval_Qwen3-8B_prover_judge
Viewer • Updated • 88
Ujan/math500_formal_eval_Olmo-3-7B-Think_prover_judge
Viewer • Updated • 47
Ujan/math500_formal_eval_Falcon-H1R-7B
Viewer • Updated • 118
Ujan/math500_formal_eval_Ministral-3-8B-Reasoning-2512_prover_judge
Viewer • Updated • 7
Ujan/math500_formal_eval_NVIDIA-Nemotron-Nano-12B-v2_prover
Viewer • Updated • 63 • 3
Ujan/math500_formal_eval_Olmo-3-7B-Think_prover
Viewer • Updated • 56 • 3
Ujan/math500_formal_eval_Ministral-3-8B-Reasoning-2512_prover
Viewer • Updated • 7 • 2
Ujan/math500_formal_eval_Olmo-3-7B-Think
Viewer • Updated • 71 • 8
Ujan/math500_formal_eval_Qwen3-8B_prover
Viewer • Updated • 128 • 7
Ujan/math500_formal_eval_Qwen3.5-9B_prover
Viewer • Updated • 157 • 7
Ujan/math500_formal_eval_Qwen3-4B-Thinking-2507_prover
Viewer • Updated • 144 • 7
Ujan/math500_formal_eval_Qwen3.5-9B
Viewer • Updated • 174 • 9
Ujan/math500_formal_eval_Qwen3-8B
Viewer • Updated • 148 • 11
Ujan/math500_formal_eval_Qwen3-4B-Thinking-2507
Viewer • Updated • 154 • 20
Ujan/math500_formal_eval_NVIDIA-Nemotron-Nano-12B-v2
Viewer • Updated • 84 • 19
Ujan/math500_formal_eval_Ministral-3-8B-Reasoning-2512
Viewer • Updated • 16 • 21
Ujan/gsm8k_formal_eval_Qwen3.5-9B_prover_judge
Viewer • Updated • 719 • 50
Ujan/gsm8k_formal_eval_Falcon-H1R-7B_prover_judge
Viewer • Updated • 520 • 22
Ujan/gsm8k_formal_eval_Olmo-3-7B-Think_prover_judge
Viewer • Updated • 384 • 8
Ujan/gsm8k_formal_eval_NVIDIA-Nemotron-Nano-12B-v2_prover_judge
Viewer • Updated • 498 • 8
Ujan/gsm8k_formal_eval_Falcon-H1R-7B_prover
Viewer • Updated • 691 • 10
Ujan/gsm8k_formal_eval_Qwen3-4B-Thinking-2507_prover_judge
Viewer • Updated • 636 • 11
Ujan/gsm8k_formal_eval_Qwen3-8B_prover_judge
Viewer • Updated • 668 • 10
Ujan/gsm8k_formal_eval_Ministral-3-8B-Reasoning-2512_prover_judge
Viewer • Updated • 20 • 12
Ujan/gsm8k_formal_eval_Falcon-H1R-7B
Viewer • Updated • 759 • 21
Ujan/gsm8k_formal_eval_NVIDIA-Nemotron-Nano-12B-v2_prover
Viewer • Updated • 676 • 92
Ujan/gsm8k_formal_eval_Olmo-3-7B-Think_prover
Viewer • Updated • 639 • 15