Ujan's picture

1

Ujan PRO

Ujan

·

tatami-galaxy

AI & ML interests

NLP, Speech

Recent Activity

updated a dataset about 9 hours ago

Ujan/gsm8k_formal_eval_Olmo-3-7B-Think_prover_judge

published a dataset about 9 hours ago

Ujan/gsm8k_formal_eval_Olmo-3-7B-Think_prover_judge

updated a dataset about 10 hours ago

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

View all activity

Organizations

Ujan 's datasets 64

Ujan/gsm8k_formal_eval_Olmo-3-7B-Think_prover_judge

Viewer • Updated about 9 hours ago • 384

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

Viewer • Updated about 10 hours ago • 498

Ujan/gsm8k_formal_eval_Falcon-H1R-7B_prover

Viewer • Updated about 12 hours ago • 691

Ujan/gsm8k_formal_eval_Qwen3-4B-Thinking-2507_prover_judge

Viewer • Updated about 15 hours ago • 636

Ujan/gsm8k_formal_eval_Qwen3-8B_prover_judge

Viewer • Updated about 16 hours ago • 668

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

Viewer • Updated about 16 hours ago • 20

Ujan/gsm8k_formal_eval_Falcon-H1R-7B

Viewer • Updated about 17 hours ago • 759

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

Viewer • Updated 1 day ago • 676 • 8

Ujan/gsm8k_formal_eval_Olmo-3-7B-Think_prover

Viewer • Updated 1 day ago • 639 • 9

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

Viewer • Updated 1 day ago • 32 • 8

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

Viewer • Updated 2 days ago • 797 • 11

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

Viewer • Updated 2 days ago • 44 • 8

Ujan/gsm8k_formal_eval_Qwen3-4B-Thinking-2507_prover

Viewer • Updated 2 days ago • 821 • 6

Ujan/gsm8k_formal_eval_Qwen3.5-9B_prover

Viewer • Updated 2 days ago • 764 • 9

Ujan/gsm8k_formal_eval_Olmo-3-7B-Think

Viewer • Updated 2 days ago • 733 • 10

Ujan/gsm8k_formal_eval_Qwen3.5-9B

Viewer • Updated 3 days ago • 837 • 11

Ujan/gsm8k_formal_eval_Qwen3-8B_prover

Viewer • Updated 3 days ago • 799 • 10

Ujan/gsm8k_formal_eval_Qwen3-4B-Thinking-2507

Viewer • Updated 3 days ago • 885 • 11

Ujan/gsm8k_formal_eval_Qwen3-8B

Viewer • Updated 3 days ago • 880 • 15

Ujan/gsm8k_formal_prover_judge

Viewer • Updated 5 days ago • 886 • 49

Ujan/math_500_formal_prover_judge

Viewer • Updated 5 days ago • 195 • 20

Ujan/math500_formal_prover

Viewer • Updated 6 days ago • 234 • 18

Ujan/gsm8k_formal_prover

Viewer • Updated 7 days ago • 1.15k • 18

Ujan/math500_formal

Viewer • Updated 7 days ago • 456 • 18

Ujan/gsm8k_formal

Viewer • Updated 7 days ago • 1.3k • 11

Ujan/deepmath_trace_10

Viewer • Updated Mar 14 • 9 • 18

Ujan/deepmath_trace_9

Viewer • Updated Mar 14 • 4.22k • 10

Ujan/deepmath_trace_8

Viewer • Updated Mar 14 • 47k • 24

Ujan/deepmath_trace_7

Viewer • Updated Mar 14 • 45.9k • 40

Ujan/deepmath_trace_6

Viewer • Updated Mar 14 • 75.7k • 21