Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover_judge
Viewer • Updated • 485 • 35
Ujan PRO
Ujan
·
AI & ML interests
NLP, Speech
Recent Activity
updated a dataset 30 days ago
Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover_judge published a dataset 30 days ago
Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover_judge updated a dataset about 1 month ago
Ujan/gsm8k_formal_eval_Phi-4-mini-reasoningOrganizations
Ujan/gsm8k_formal_eval_Phi-4-mini-reasoning
Viewer • Updated • 2 • 38
Ujan/gsm8k_formal_eval_granite-4.1-8b_prover_judge
Viewer • Updated • 509 • 37
Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover
Viewer • Updated • 650 • 34
Ujan/gsm8k_formal_eval_granite-4.1-8b_prover
Viewer • Updated • 600 • 29
Ujan/math500_formal_eval_gemma-4-E4B-it_prover
Viewer • Updated • 61 • 29
Ujan/gsm8k_formal_eval_granite-4.1-8b
Viewer • Updated • 689 • 30
Ujan/gsm8k_formal_eval_gemma-4-E4B-it
Viewer • Updated • 789 • 29
Ujan/math500_formal_eval_Phi-4-mini-reasoning_prover_judge
Viewer • Updated • 1 • 28
Ujan/math500_formal_eval_gemma-4-E4B-it_prover_judge
Viewer • Updated • 42 • 27
Ujan/math500_formal_eval_Phi-4-mini-reasoning_prover
Viewer • Updated • 6 • 53 • 1
Ujan/math500_formal_eval_Phi-4-mini-reasoning
Viewer • Updated • 8 • 25
Ujan/math500_formal_eval_granite-4.1-8b_prover_judge
Viewer • Updated • 41 • 26
Ujan/math500_formal_eval_gemma-4-E4B-it
Viewer • Updated • 106 • 23
Ujan/math500_formal_eval_granite-4.1-8b_prover
Viewer • Updated • 49 • 24
Ujan/math500_formal_eval_granite-4.1-8b
Viewer • Updated • 85 • 22
Ujan/math500_formal_eval_Falcon-H1R-7B_prover_judge
Viewer • Updated • 82 • 20
Ujan/math500_formal_eval_NVIDIA-Nemotron-Nano-12B-v2_prover_judge
Viewer • Updated • 44 • 19
Ujan/math500_formal_eval_Falcon-H1R-7B_prover
Viewer • Updated • 104 • 23
Ujan/math500_formal_eval_Qwen3.5-9B_prover_judge
Viewer • Updated • 137 • 20
Ujan/math500_formal_eval_Qwen3-4B-Thinking-2507_prover_judge
Viewer • Updated • 109 • 38
Ujan/math500_formal_eval_Qwen3-8B_prover_judge
Viewer • Updated • 88 • 17
Ujan/math500_formal_eval_Olmo-3-7B-Think_prover_judge
Viewer • Updated • 47 • 19
Ujan/math500_formal_eval_Falcon-H1R-7B
Viewer • Updated • 118 • 17
Ujan/math500_formal_eval_Ministral-3-8B-Reasoning-2512_prover_judge
Viewer • Updated • 7 • 42
Ujan/math500_formal_eval_NVIDIA-Nemotron-Nano-12B-v2_prover
Viewer • Updated • 63 • 17
Ujan/math500_formal_eval_Olmo-3-7B-Think_prover
Viewer • Updated • 56 • 18
Ujan/math500_formal_eval_Ministral-3-8B-Reasoning-2512_prover
Viewer • Updated • 7 • 39
Ujan/math500_formal_eval_Olmo-3-7B-Think
Viewer • Updated • 71 • 18
Ujan/math500_formal_eval_Qwen3-8B_prover
Viewer • Updated • 128 • 19