Ujan PRO

Ujan

1

·

tatami-galaxy

AI & ML interests

NLP, Speech

Recent Activity

updated a dataset about 2 months ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover_judge

published a dataset about 2 months ago

Ujan/gsm8k_formal_eval_gemma-4-E4B-it_prover_judge

updated a dataset about 2 months ago

Ujan/gsm8k_formal_eval_Phi-4-mini-reasoning

View all activity

Organizations

Ujan 's datasets 103

Ujan/math500_formal_eval_Qwen3.5-9B_prover

Viewer • Updated May 15 • 157 • 5

Ujan/math500_formal_eval_Qwen3-4B-Thinking-2507_prover

Viewer • Updated May 15 • 144 • 5

Ujan/math500_formal_eval_Qwen3.5-9B

Viewer • Updated May 15 • 174 • 7

Ujan/math500_formal_eval_Qwen3-8B

Viewer • Updated May 15 • 148 • 4

Ujan/math500_formal_eval_Qwen3-4B-Thinking-2507

Viewer • Updated May 14 • 154 • 5

Ujan/math500_formal_eval_NVIDIA-Nemotron-Nano-12B-v2

Viewer • Updated May 14 • 84 • 5

Ujan/math500_formal_eval_Ministral-3-8B-Reasoning-2512

Viewer • Updated May 14 • 16 • 9

Ujan/gsm8k_formal_eval_Qwen3.5-9B_prover_judge

Viewer • Updated May 6 • 719 • 9

Ujan/gsm8k_formal_eval_Falcon-H1R-7B_prover_judge

Viewer • Updated May 6 • 520 • 8

Ujan/gsm8k_formal_eval_Olmo-3-7B-Think_prover_judge

Viewer • Updated May 5 • 384 • 8

Ujan/gsm8k_formal_eval_NVIDIA-Nemotron-Nano-12B-v2_prover_judge

Viewer • Updated May 5 • 498 • 7

Ujan/gsm8k_formal_eval_Falcon-H1R-7B_prover

Viewer • Updated May 5 • 691 • 6

Ujan/gsm8k_formal_eval_Qwen3-4B-Thinking-2507_prover_judge

Viewer • Updated May 5 • 636 • 5

Ujan/gsm8k_formal_eval_Qwen3-8B_prover_judge

Viewer • Updated May 5 • 668 • 6

Ujan/gsm8k_formal_eval_Ministral-3-8B-Reasoning-2512_prover_judge

Viewer • Updated May 5 • 20 • 9

Ujan/gsm8k_formal_eval_Falcon-H1R-7B

Viewer • Updated May 5 • 759 • 5

Ujan/gsm8k_formal_eval_NVIDIA-Nemotron-Nano-12B-v2_prover

Viewer • Updated May 4 • 676 • 8

Ujan/gsm8k_formal_eval_Olmo-3-7B-Think_prover

Viewer • Updated May 4 • 639 • 4

Ujan/gsm8k_formal_eval_Ministral-3-8B-Reasoning-2512_prover

Viewer • Updated May 4 • 32 • 7

Ujan/gsm8k_formal_eval_NVIDIA-Nemotron-Nano-12B-v2

Viewer • Updated May 4 • 797 • 4

Ujan/gsm8k_formal_eval_Ministral-3-8B-Reasoning-2512

Viewer • Updated May 4 • 44 • 7

Ujan/gsm8k_formal_eval_Qwen3-4B-Thinking-2507_prover

Viewer • Updated May 4 • 821 • 4

Ujan/gsm8k_formal_eval_Qwen3.5-9B_prover

Viewer • Updated May 4 • 764 • 5

Ujan/gsm8k_formal_eval_Olmo-3-7B-Think

Viewer • Updated May 4 • 733 • 4

Ujan/gsm8k_formal_eval_Qwen3.5-9B

Viewer • Updated May 3 • 837 • 6

Ujan/gsm8k_formal_eval_Qwen3-8B_prover

Viewer • Updated May 3 • 799 • 5

Ujan/gsm8k_formal_eval_Qwen3-4B-Thinking-2507

Viewer • Updated May 3 • 885 • 5

Ujan/gsm8k_formal_eval_Qwen3-8B

Viewer • Updated May 3 • 880 • 4

Ujan/formalgsm

Viewer • Updated May 1 • 886 • 38

Ujan/formalmath

Viewer • Updated May 1 • 195 • 10